ALTmode is set when we are under a pattern alternative.
ALTmode is set when we are under a pattern alternative.
BYVALmode is set when we are typing an expression that occurs in a by-value position.
BYVALmode is set when we are typing an expression that occurs in a by-value position. An expression e1 is in by-value position within expression e2 iff it will be reduced to a value at that position during the evaluation of e2. Examples are by-value function arguments or the conditional of an if-then-else clause. This mode has been added to support continuations.
FUNmode is orthogonal to above.
FUNmode is orthogonal to above. When set we are looking for a method or constructor.
HKmode is set when we are typing a higher-kinded type.
HKmode is set when we are typing a higher-kinded type. adapt should then check kind-arity based on the prototypical type's kind arity. Type arguments should not be inferred.
LHSmode is set for the left-hand side of an assignment.
LHSmode is set for the left-hand side of an assignment.
NOmode, EXPRmode and PATTERNmode are mutually exclusive.
NOmode, EXPRmode and PATTERNmode are mutually exclusive.
POLYmode is orthogonal to above.
POLYmode is orthogonal to above. When set expression types can be polymorphic.
QUALmode is orthogonal to above.
QUALmode is orthogonal to above. When set expressions may be packages and Java statics modules.
RETmode is set when we are typing a return expression.
RETmode is set when we are typing a return expression.
SCCmode is orthogonal to above.
SCCmode is orthogonal to above. When set we are in the this or super constructor call of a constructor.
SNDTRYmode indicates that an application is typed for the 2nd time.
SNDTRYmode indicates that an application is typed for the 2nd time. In that case functions may no longer be coerced with implicit views.
STARmode is set when star patterns are allowed.
STARmode is set when star patterns are allowed. (This was formerly called REGPATmode.)
SUPERCONSTRmode is set for the super in a superclass constructor call super.
SUPERCONSTRmode is set for the super in a superclass constructor call super.<init>.
TAPPmode is set for the function/type constructor part of a type application.
TAPPmode is set for the function/type constructor part of a type application. When set we do not decompose PolyTypes.
TYPEPATmode is set when we are typing a type in a pattern.
TYPEPATmode is set when we are typing a type in a pattern.
TYPEmode needs a comment.
TYPEmode needs a comment. <-- XXX.
(typers: StringAdd).self
(typers: StringFormat).self
(typers: ArrowAssoc[Typers]).x
(Since version 2.10.0) Use leftOfArrow
instead
(typers: Ensuring[Typers]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
This trait provides methods to assign types to trees.
1.0