3 Commits

Author	SHA1	Message	Date
Kavon Farvardin	ec4a125f3e	NCGenerics: ext's might not infer invertible req's ... If the extension adds conformance to an invertible protocol, it's confusing for people to also infer conditional requirements on the generic parameters for those invertible protocols. This came up in the review of SE-427.	2024-06-12 14:44:22 -07:00
Kavon Farvardin	0420310623	NCGenerics: it's no longer "experimental" ... resolves rdar://127701059	2024-05-08 10:49:12 -07:00
Joe Groff	d9bd92e226	SILGen: Emit empty type initialization for conditionally-copyable type inits. ... Fix the check here to go by `isMoveOnly` on the lowered type rather than `canBeCopyable` on the declaration so that we correctly emit the semantic initialization for types that are `~Copyable` in their most generic form. Fixes rdar://125101955.	2024-03-20 14:14:25 -07:00