Doug Gregor 37bfa1998e Tighten up checking for uses of unsafe conformances ...

Check for unsafe conformances for type erasure and opaque type
erasure.

This also uncovered an issue where we were making every conformance of
an unsafe type to an unsafe protocol @unsafe implicitly, even though
that's not really what we want.

2025-01-11 12:43:41 -08:00

48 KiB

Raw Permalink Blame History

View Raw