ApproximatingTypeMap
A type map that approximates TypeBounds types depending on variance.
if variance > 0 : approximate by upper bound variance < 0 : approximate by lower bound variance = 0 : propagate bounds to next outer level
Value members
Concrete methods
- Definition Classes
- Definition Classes
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.
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
Whether it is currently expanding bounds
It is used to avoid following LazyRef in F-Bounds
Inherited methods
Can the prefix of this static reference be omitted if the reference itself can be omitted? Overridden in TypeOps#avoid.
Can the prefix of this static reference be omitted if the reference itself can be omitted? Overridden in TypeOps#avoid.
- Inherited from
- VariantTraversal
Can be overridden. By default, only the prefix is mapped.
Can be overridden. By default, only the prefix is mapped.
- Inherited from
- TypeMap