Anthony Latsis 75953d2b51 OpenedExistentials: Do not attempt to erase existential metatypes with invariant Self ...

The non-metatype case was never supported. The same should hold for the
existential metatype case, which used to miscompile and now crashes
because the invariant reference is deemed OK but the erasure expectedly
fails to handle it:

```swift
class C<T> {}
protocol P {
  associatedtype A

  func f() -> any P & C<A>
  func fMeta() -> any (P & C<A>).Type
}

do {
  let p: any P
  let _ = p.f() // error
  let _ = p.fMeta() // crash
}
```

2025-01-12 17:47:52 +00:00

33 KiB

Raw Permalink Blame History

View Raw