Hamish Knight e7c7239587 [Sema] Insert ErrorType same-type constraints for placeholder signatures ...

This helps avoid producing more downstream errors. This changes
`GenericSignature::forInvalid` to produce the same signature as e.g
`<T where T == Undefined>`. This subsumes the need to introduce
conformance requirements for invertible protocols.

2025-10-08 21:16:02 +01:00

3.2 KiB

Raw Permalink Blame History

View Raw