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