Does this type conform to given type argument that?

Is this type equivalent to given type argument that?

This type as seen from prefix pre and class clazz.

The list of all base classes of this type (including its own typeSymbol) in linearization order, starting with the class itself and ending in class Any.

The least type instance of given class which is a super-type of this type.

Type signature of the companion of the underlying class symbol.

Does this type contain a reference to given symbol?

Expands type aliases arising from type members.

The defined or declared members with name name in this type; an OverloadedSymbol if several exist, NoSymbol if none exist.

A Scope containing directly declared members of this type.

The erased type corresponding to this type after all transformations from Scala to Java have been performed.

Converts higher-kinded TypeRefs to PolyTypes.

Is there part of this type which satisfies predicate p?

For a curried/nullary method or poly type its non-method result type, the type itself for all other types.

Returns optionally first type (in a preorder traversal) which satisfies predicate p, or None if none exists.

Apply f to each part of this type, for side effects only

Apply f to each part of this type, returning a new type.

The member with given name, either directly declared or inherited, an OverloadedSymbol if several exist, NoSymbol if none exist.

A Scope containing all members of this type (directly declared or inherited).

Provides an alternate if type is NoType.

For a method or poly type, a list of its value parameter sections, the empty list of lists for all other types.

For a (nullary) method or poly type, its direct result type (can be a MethodType if the method has multiple argument lists), the type itself for all other types.

Substitute symbols in to for corresponding occurrences of references to symbols from in this type.

Substitute types in to for corresponding occurrences of references to symbols from in this type.

Is this type a type constructor that is missing its type arguments?

The term symbol associated with the type, or NoSymbol for types that do not refer to a term symbol.

List of type arguments ingrained in this type reference.

Returns the corresponding type constructor (e.g.

For a poly type, its type parameters, the empty list for all other types.

The type symbol associated with the type, or NoSymbol for types that do not refer to a type symbol.

Does this type weakly conform to given type argument that, i.e., either conforms in terms of <:< or both are primitive number types that conform according to Section "Weak Conformance" in the spec.

If this is a singleton type, widen it to its nearest underlying non-singleton base type by applying one or more underlying dereferences.

Reduce to beta eta-long normal form.