Doug Gregor f5b9517552 [Constraint system] Simplify and improve handling of node tyoes. ...

Rather than having separate dense maps for the type mappings of each
node type (expression, type location, variable declaration, pattern) that
a TypedNode can be, have a single such map. Sometimes we end up
setting a particular node's type more than once, so cope with that
by restoring the prior type.

2020-02-11 15:14:44 -08:00

80 KiB

Raw Blame History

View Raw