Predicate getErasedRepr
Gets a representative (boxed) type for t for the purpose of pruning
possible flow. A single type is used for all numeric types to account for
numeric conversions, and otherwise the erasure is used.
Import path
import semmle.code.java.dataflow.internal.DataFlowPrivate
DataFlowType
getErasedRepr
(
Type
t
)