Constructors
Members
A map recording the typer states in which arguments stored in myTypedArg were typed
A map recording the typer states in which arguments stored in myTypedArg were typed
A map in which typed arguments can be stored to be later integrated in typedArgs
.
A map in which typed arguments can be stored to be later integrated in typedArgs
.
If true, the application of this prototype was canceled.
If true, the application of this prototype was canceled.
Forget the types of any arguments that have been typed producing a constraint in a typer state that is not yet committed into the one of the current co...
Forget the types of any arguments that have been typed producing a constraint in a
typer state that is not yet committed into the one of the current context ctx
.
This is necessary to avoid "orphan" TypeParamRefs that are referred to from
type variables in the typed arguments, but that are not registered in the
current constraint. A test case is pos/t1756.scala.
If this is a prototype with some ignored component, reveal one more layer of it. Otherwise the type itself.
If this is a prototype with some ignored component, reveal one more layer of it. Otherwise the type itself.
A map recording the typer states in which arguments stored in myTypedArg were typed
A map recording the typer states in which arguments stored in myTypedArg were typed
Somebody called the tupled
method of this prototype
Somebody called the tupled
method of this prototype
Cancel the application of this prototype. This can happen for a nullary
application f()
if f
refers to a symbol that exists both in parameterless
form d...
Cancel the application of this prototype. This can happen for a nullary
application f()
if f
refers to a symbol that exists both in parameterless
form def f
and nullary method form def f()
. A common example for such
a method is toString
. If in that case the type in the denotation is
parameterless, we compensate by dropping the application.
A map in which typed arguments can be stored to be later integrated in typedArgs
.
A map in which typed arguments can be stored to be later integrated in typedArgs
.
If this is a FunProto or PolyProto, WildcardType, otherwise this.
If this is a FunProto or PolyProto, WildcardType, otherwise this.
The resultType of a LambdaType, or ExprType, the type itself for others
The resultType of a LambdaType, or ExprType, the type itself for others
If true, the application of this prototype was canceled.
If true, the application of this prototype was canceled.
The same proto-type but with all arguments combined in a single tuple
The same proto-type but with all arguments combined in a single tuple
The type of the argument arg
.
The type of the argument arg
.
Type single argument and remember the unadapted result in myTypedArg
.
used to avoid repeated typings of trees when backtracking.
Type single argument and remember the unadapted result in myTypedArg
.
used to avoid repeated typings of trees when backtracking.
The typed arguments. This takes any arguments already typed using
typedArg
into account.
The typed arguments. This takes any arguments already typed using
typedArg
into account.