[embedded] Fix associated type conformances for specialized witness tables#85644

Open

aschwaighofer wants to merge 11 commits intoswiftlang:mainfrom

aschwaighofer:wip_embedded_exits_with_eriks_changes_v1

Commits on Nov 20, 2025

[embedded] A few more test cases for existential casting
aschwaighofer
committed
[embedded] Tighten the check which existentials we support in embedded with existentials
aschwaighofer
committed
[embedded] Allow casting to tuples
aschwaighofer
committed
[embedded] One more test
aschwaighofer
committed
embedded: don't re-abstract witness method calls for existentials

eeckstein
authored and
aschwaighofer
committed
SIL: add some APIs for `InitExistentialAddrInst`

eeckstein
authored and
aschwaighofer
committed
AST: add `var ProtocolDecl.isMarkerProtocol`

eeckstein
authored and
aschwaighofer
committed
MandatoryPerformanceOptimizations: specialize witness tables for general existentials

eeckstein
authored and
aschwaighofer
committed
[embedded] Fix associate type conformances involving specialized conformances
aschwaighofer
committed

Commits on Nov 21, 2025