Arnold Schwaighofer
d019f37b68
[embedded] Enable support for existentials/boxed protocol types per default
...
And enable this feature in production.
2025-12-10 08:50:23 -08:00
Arnold Schwaighofer
4d879967a7
[embedded] Feature::EmbeddedExistentials requires Feature::Embedded
2025-12-09 10:21:51 -08:00
Arnold Schwaighofer
b9f6454386
[embedded] Add support for storing/casting function types
2025-11-21 14:55:32 -08:00
Arnold Schwaighofer
ffca3b4623
[embedded] Fix associate type conformances involving specialized conformances
2025-11-20 13:10:44 -08:00
Arnold Schwaighofer
920def9319
[embedded] One more test
2025-11-20 10:16:19 -08:00
Arnold Schwaighofer
8beaad60bd
[embedded] Allow casting to tuples
2025-11-20 10:03:39 -08:00
Arnold Schwaighofer
f7aae22e43
[embedded] A few more test cases for existential casting
2025-11-20 07:34:33 -08:00
Arnold Schwaighofer
3cff05d540
[embedded] Implement swift_dynamicCast suport for casts from existential to concrete type
2025-11-19 14:41:37 -08:00
Arnold Schwaighofer
84501bd6e2
Also test in optimized mode
2025-11-17 12:48:48 -08:00
Arnold Schwaighofer
62ac48a17e
Complete support for outline existential storage
...
... or so I believe
2025-11-17 12:48:45 -08:00
Arnold Schwaighofer
eda5eadfd4
Start outline storage support: Add swift_allocBox/deallocBox
...
Code using the outline heap storage path will crash and burn because
support is incomplete. But at least inline storage existential
inhabitants should compile and run.
2025-11-17 12:46:35 -08:00
Arnold Schwaighofer
f38ad4b09f
Start support for protocol witness tables
2025-11-17 12:46:35 -08:00
Arnold Schwaighofer
4285a2169d
IRGen: Start support for embedded existentials
...
Allow storing struct, enum, and tuple types in an any.
2025-11-17 12:46:35 -08:00
Arnold Schwaighofer
22c8ea6af6
Add experimental feature flag EmbeddedExistentials
...
This flag can be used to gradually add the functionility that will allow use of
protocol values in embedded mode.
2025-10-20 10:18:45 -07:00