Files
Doug Gregor 376183f923 [Embedded] Inline default implementations into covariant-self witness thunks
When a class conforms to a protocol, the witness thunk might have a
covariant Self generic parameter. The presence of this generic
parameter causes problems when the witness thunk calls a default
implementation, because that default implementation is generic.
To avoid this problem, inline the callee into the witness thunk so it
becomes non-generic while retaining dynamic dispatch on the actual
Self type.

This is a longstanding issue with Embedded Swift and classes that
conform to protocols.

Fixes rdar://177527091.
2026-07-15 15:35:54 -07:00
..
…
2026-06-04 22:10:50 -07:00