4 Commits

Author	SHA1	Message	Date
Slava Pestov	af8c8f1671	Sema: Remove non-experimental associated type inference	2024-03-07 17:30:17 -05:00
Slava Pestov	35730d6bcf	Sema: Don't be so eager to force type witnesses when resolving a value witness ... resolveWitnessViaLookup() was only called from one place and didn't need to force anything at all, and resolveSingleWitness() now only forces the type witnesses actually referenced by the requirement. An old crasher test case that was considered "fixed" when we started to diagnose it now type checks correctly.	2024-01-26 18:51:08 -05:00
Slava Pestov	0b0ad738dd	AST: Record a HadError bit in DelayedConformanceDiags	2024-01-20 19:16:58 -05:00
Anthony Latsis	1feed1dff0	Gardening: Migrate test suite to GH issues (file names): multifile	2022-09-18 19:07:45 +03:00