Commit Graph

2 Commits

Author SHA1 Message Date
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