mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 20:40:11 +01:00
As a follow up to #7546 (and see the discussion there), verify our assumptions that you can't have an object of type facet where the facet is not symbolic, and then need to find a Destroy witness for the object.