Slava Pestov 8d05d79fad AST: Cache substituted substitution maps inside the InFlightSubstitution ...

A substitution map contains conformances, and a conformance can contain
a substitution map. This will always be a DAG, but not a tree, and to
avoid exponential blowup in certain edge cases, let's cache the work to
avoid visiting the same substitution map repeatedly, if multiple
conformances refer to the same substitution map.

2025-07-18 20:03:03 -04:00

23 KiB

Raw Permalink Blame History

View Raw