John McCall
e60095e36a
Remove an unnecessary assertion.
...
I did check that the code doesn't actually rely on not seeing a
type parameter.
rdar://96571508
2022-07-13 16:17:27 -04:00
Robert Widmann
9e4670a605
Implement Casting For Extended Existentials
...
Implement casting to and from extended existentials. This is done by slightly generalizing the conditional conformances checking infrastructure.
Unfortunately, casts for reference types and metatypes are unsound because IRGen is peepholing all non-opaque existential conversions with a helper. I’ll disable that in a follow-up.
rdar://92197049
2022-06-15 21:35:15 -06:00
Robert Widmann
663722d892
Parameterized Existential Types Are Enabled By Default
...
See https://forums.swift.org/t/accepted-se-0353-constrained-existential-types/57560
2022-05-25 09:50:36 -07:00
Robert Widmann
5bcea4146a
Disable Availability Checking in Tests That Use Parameterized Existentials
2022-05-03 23:36:13 -07:00
Robert Widmann
d8f31a46cd
Mark Parameterized Protocol Test Unsupported in Legacy Runtime Contexts
...
rdar://92468243
2022-04-28 12:08:43 -07:00
John McCall
edb6fbfcc1
Enable this execution test now that it seems to be working.
2022-04-21 23:46:47 -04:00
John McCall
1b5a79ec90
Add a testcase to verify basic execution for constrained existentials
...
Disabled for now; there's apparently a bug.
2022-04-12 14:52:47 -04:00
