SE-0352 (second review): Implicitly Opened Existentials

[Kyle-Ye (Kyle)]

A small question after this has been landing for a while。

Can we get open existential on struct initializer? See more info on this thread

Implicitly Opened Existentials on Initialization

After landing SE352 We can use the following code protocol P { associatedtype A func getA() -> A } func openSimple<T: P>(_ value: T) { } func testOpenSimple(p: any P) { openSimple(p) // okay, opens 'p' and binds 'T' to its underlying type } I was wondering can we move further to open existential for something like this? (Currently the following code will give an error) protocol P { associatedtype A func getA() -> A } struct S<T: P> { var s: T } func testOpenSimple(p: any P…