Slava Pestov 8e09ba8b45 RequirementMachine: Introduce 'concrete contraction' pre-processing pass before building rewrite system ...

See the comment at the top of ConcreteContraction.cpp for a detailed explanation.

This can be turned off with the -disable-requirement-machine-concrete-contraction
pass, mostly meant for testing. A few tests now run with this pass both enabled
and disabled, to exercise code paths which are otherwise trivially avoided by
concrete contraction.

Fixes rdar://problem/88135912.

2022-02-25 11:48:38 -05:00

96 KiB

Raw Blame History

View Raw