A trait defining an isCompatible
method.
A prototype for expressions that appear in function position
A prototype for expressions that appear in function position
[](args): resultType
A prototype for expressions that appear in function position
A prototype for expressions that appear in function position
[](args): resultType, where args are known to be typed
A class marking ignored prototypes that can be revealed by deepenProto
A trait for prototypes that match all types
A prototype for expressions [] that are type-parameterized:
A prototype for expressions [] that are type-parameterized:
[] [targs] resultType
A prototype for expressions [] that are part of a selection operation:
A prototype for expressions [] that are part of a selection operation:
[ ].name: proto
A prototype for selections in pattern constructors
A prototype for implicitly inferred views:
A prototype for implicitly inferred views:
[]: argType => resultType
A prototype for expressions [] that are known to be functions:
A prototype for expressions [] that are known to be functions:
[] _
A prototype for expressions [] that are in some unspecified selection operation
A prototype for expressions [] that are in some unspecified selection operation
[].?: ?
Used to indicate that expression is in a context where the only valid operation is further selection. In this case, the expression need not be a value.
checkValue
A prototype for type constructors that are followed by a type application
A prototype for type constructors that are followed by a type application
Same as constrained(pt, EmptyTree)
, but returns just the created polytype
Add all parameters in given polytype pt
to the constraint's domain.
Add all parameters in given polytype pt
to the constraint's domain.
If the constraint contains already some of these parameters in its domain,
make a copy of the polytype and add the copy's type parameters instead.
Return either the original polytype, or the copy, if one was made.
Also, if owningTree
is non-empty, add a type variable for each parameter.
The added polytype, and the list of created type variables.
Dummy tree to be used as an argument of a FunProto or ViewProto type
The normalized form of a type
The normalized form of a type
Create a selection proto-type, but only one level deep; treat constructors specially
Approximate occurrences of parameter types and uninstantiated typevars by wildcard types.