SubstParamsMap

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

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.

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.