TypeRef

The type representing

T[U1, ..., Un]

where

The basetype of this type with given class symbol, NoType if base is not a class.

Is this type exactly Nothing (no vars, aliases, refinements etc allowed)?

The member with the given name.

If designator is a name, this name. Otherwise, the original name of the designator symbol.

The normalized prefix of this type is:

• For a type alias, the normalized prefix of its alias.
• For all other named type and class infos: the prefix.
• Inherited by all other type proxies.
• NoType for all other types.

The closest supertype of this type.

This is the same as underlying, except that

• instead of a TypeBounds type it returns its upper bound, and
• for applied types it returns the upper bound of the constructor re-applied to the arguments.

Same as superType, except for two differences:

• opaque types are treated as transparent aliases
• applied type are matchtype-reduced if possible

Note: the reason to reduce match type aliases here and not in superType is that superType is context-independent and cached, whereas matchtype reduction depends on context and should not be cached (at least not without the very specific cache invalidation condition for matchtypes).

Widen singleton types, ExprTypes, AnnotatedTypes and RefinedTypes.

Widen from ExprType type to its result type.

For all other types, return this.