Predicate TypeVariableHidesType::aTypeVisibleFrom

RefType aTypeVisibleFrom(TypeVariable var)