4 Commits

Author	SHA1	Message	Date
Kavon Farvardin	fbd51c06df	Sema: apply scoping SuppAssocType scoping rule roots ... The generic parameter at the root of a DependentMemberType is the main thing we care about in terms of the scoping rule. We have a check for ineffective / invalid inverses in a later phase, so if the suppression on the type member was wrong then we should still raise an error about it.	2025-12-16 15:20:56 -08:00
Kavon Farvardin	6f95203dfd	Sema: introduce SuppressedAssociatedTypesWithDefaults ... This is similar to SuppressedAssociatedTypes, but infers default requirements when primary associated types of protocols are suppressed. This defaulting for the primary associated types happens in extensions of the protocol, along with generic parameters, whenever a source-written requirement states a conformance requirement for the protocol. Thus, the current scheme for this defaulting is a simplistic, driven by source-written requirements, rather than facts that are inferred while building generic signatures. Defaults are not expanded for infinitely many associated types. rdar://135168163	2025-12-02 18:00:03 -08:00
Anthony Latsis	fe575c66a9	Manually merge remote-tracking branch 'origin/main' into rebranch ... Conflicts: lib/AST/RequirementMachine/RequirementLowering.cpp	2025-05-15 13:48:37 +01:00
Joe Groff	e4a6faa3f2	Sema: Allow T == NonCopyableOrEscapable same-type constraints without a redundant T: ~Copyable. ... Enhance the logic in `applyInverses` to also take into account same-type constraints spelled in the generic signature, so that same-type-constraining a type parameter to a type that is itself not `Copyable` or `Escapable` suppresses the default application of those constraints on the type parameter. Fixes rdar://147757973.	2025-05-13 11:31:41 -07:00