3 Commits

Author	SHA1	Message	Date
Slava Pestov	2f4ed5a949	Sema: Clean up diagnoseMissingOwnership() ... - Pass down the TypeResolution instance so we can get the generic signature. This ensures we always use the correct signature in SIL mode. - Don't diagnose if the type contains error types.	2024-02-29 18:13:28 -05:00
Kavon Farvardin	f296d8e158	NCGenerics: mass XFAIL tests ... It's easier to get a handle on regressions while working through failures if the tests that are known to not pass are XFAIL'd for NoncopyableGenerics.	2024-02-20 18:26:05 -05:00
Slava Pestov	70c9f8a47e	RequirementMachine: Leave behind conflicting requirements in the minimized signature ... Requirement lowering only expects that it won't see two requirements of the same kind (except for conformance requirements). So only mark those as conflicting. This addresses a crash-on-invalid and improves diagnostics for move-only generics, because a conflict won't drop the copyability of a generic parameter and expose a move-only-naive user to confusing error messages. Fixes #61031. Fixes #63997. Fixes rdar://problem/111991454.	2024-02-15 14:32:31 -05:00