Slava Pestov c0787f337f Sema: Fix soundness hole with variable initializers and opaque return types ...

Just because the type of the initializer expression is an opaque return type,
does not mean it is the opaque return type *for the variable being initialized*.

It looks like there is a bit of duplicated logic and layering violations going
on so I only fixed one caller of openOpaqueType(). This addresses the test case
in the issue. For the remaining calls I added FIXMEs to investigate what is
going on.

Fixes https://github.com/swiftlang/swift/issues/73245.
Fixes rdar://127180656.

2024-12-04 15:13:22 -05:00

57 KiB

Raw Permalink Blame History

View Raw