swift
fa982124 - [AddressLowering] Look through opaque result type.

Commit
2 years ago
[AddressLowering] Look through opaque result type. A function which returns a value of opaque result type func f() -> some P { S() } has a lowered, substituted signature @convention(thin) () -> @out @_opaqueReturnTypeOf("$s4main1fQryF", 0) opaque featuring an _opaqueReturnTypeOf attr. The SILFunctionArgument for that @out result, however, must be of the type that the opaque result substitutes to in the expansion context of the function.
Author
Committer
Parents
Loading