Rechecker
Members list
Value members
Concrete methods
Check that widened types of tpe
and pt
are compatible.
Check that widened types of tpe
and pt
are compatible.
Attributes
Should type of tree
be kept in an attachment so that it can be retrieved with
knownType
? By default true only is keepAllTypes
hold, but can be overridden.
Should type of tree
be kept in an attachment so that it can be retrieved with
knownType
? By default true only is keepAllTypes
hold, but can be overridden.
Attributes
Finish rechecking a tree node: check rechecked type against expected type and remember rechecked type in a tree attachment if required.
Finish rechecking a tree node: check rechecked type against expected type and remember rechecked type in a tree attachment if required.
Attributes
- pt
the expected type
- tpe
the recheched type of
tree
- tree
the rechecked tree
Keep the symbol of the select
but re-infer its type
Keep the symbol of the select
but re-infer its type
Attributes
Recheck tree without adapting it, returning its new type.
Recheck tree without adapting it, returning its new type.
Attributes
- pt
the expected result type
- tree
the original tree