6 Commits

Author	SHA1	Message	Date
Slava Pestov	f8cf708753	RequirementMachine: Increase default type differences limit to 13000 ... Fixes rdar://154684522.	2025-07-06 11:22:47 -04:00
Slava Pestov	7f8175b3da	RequirementMachine: Add two more completion termination checks for concrete type requirements ... The concrete nesting limit, which defaults to 30, catches things like A == G<A>. However, with something like A == (A, A), you end up with an exponential problem size before you hit the limit. Add two new limits. The first is the total size of the concrete type, counting all leaves, which defaults to 4000. It can be set with the -requirement-machine-max-concrete-size= frontend flag. The second avoids an assertion in addTypeDifference() which can be hit if a certain counter overflows before any other limit is breached. This also defaults to 4000 and can be set with the -requirement-machine-max-type-differences= frontend flag.	2025-06-17 17:51:25 -04:00
Slava Pestov	41df661160	AST: Use a builtin conformance for unconditional Copyable/Escapable ... This generalizes what we were already doing for classes.	2024-03-07 15:07:47 -05:00
Slava Pestov	10a2ddb95e	RequirementMachine: Fix MaxConcreteNesting check to take initial rules into account ... Fixes rdar://123357717.	2024-03-06 21:42:49 -05:00
Kavon Farvardin	9f3743dec0	NCGenerics: mark hanging tests as unsupported	2024-02-04 19:14:53 -08:00
Slava Pestov	075e7c1425	RequirementMachine: Add regression test for rdar://problem/90402519	2022-03-18 00:43:26 -04:00