Slava Pestov 54521bd21b AST: Canonicalize opaque archetype substitution maps in the solver arena ...

Preserving sugar if we have type variables uses way too much memory.

Canonicalize these substitution maps for now, as a (temporary?) workaround.

In the future, if we decide preserving sugar is more important than a
few dozen Mb of memory usage, we can also bump the arena memory limit,
instead.

Fixes rdar://166237860.
Fixes rdar://165863647.

2025-12-12 18:11:04 -05:00

267 KiB

Raw Permalink Blame History

View Raw