SubstApproxMap

Derived selection.

Expand parameter reference corresponding to prefix pre; If the expansion is a wildcard parameter reference, convert its underlying bounds to a range, otherwise return the expansion.

Whether it is currently expanding bounds

It is used to avoid following LazyRef in F-Bounds

Can the prefix of this static reference be omitted if the reference itself can be omitted? Overridden in TypeOps#avoid.

Can be overridden. By default, only the prefix is mapped.

Map this function over given type

Overridden in TypeOps.avoid and in CheckCaptures.substParamsMap

Returns a string representation of the object.

The default representation is platform dependent.

Try to widen a named type to its info relative to given prefix pre, where possible. The possible cases are listed inline in the code.

The type parameters of the constructor of this applied type. Overridden in OrderingConstraint's ConstraintAwareTraversal to take account of instantiations in the constraint that are not yet propagated to the instance types of type variables.

Use an alterate type tp that replaces a range. This can happen if the prefix of a Select is a range and the selected symbol is an alias type or a value with a singleton type. In both cases we can forget the prefix and use the symbol's type.