Predicate TypeVariableHidesType::anOuterType

RefType anOuterType(TypeVariable var)