Slava Pestov 244d2afea3 RequirementMachine: New way of propagating failure when building rewrite system for protocol ...

If we failed to construct a rewrite system for a protocol, either because
the Knuth-Bendix algorithm failed or because of a request cycle while
resolving requirements, we would end up in a situation where the resulting
rewrite system didn't include all conformance requirements and associated
types, so name lookup would find declarations whose interface types are
not valid type parameters.

Fix this by propagating failure better and just doing nothing in
getReducedTypeParameter().

Fixes rdar://147277543.

2025-10-04 09:17:46 -04:00

50 KiB

Raw Permalink Blame History

View Raw