Predicate signature TypeFlowInput::unbound

Holds if t is a raw type or parameterised type with unrestricted type arguments.

By default, no types are unbound.