Predicate signature TypeFlowInput::getErasure

Gets the erased version of this type. The erasure of a erasure of a parameterized type is its generic counterpart, or t if t is already fully erased.