Kavon Farvardin 01864d9af4 Sema: replace legacy Copyable containment check ...

We can use part of the new infrastructure if we simply handle abstract
conformances to Copyable, which is what we'd get upon lookup for a
nominal in the old world. This means that we can merge diagnostics for
the containment test together, and fix differences with deinit
diagnostics.

2024-03-12 11:05:25 -07:00

362 KiB

Raw Blame History

View Raw