mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-10-05 22:02:55 +01:00
- A test showing we need to search facets in the specific interface of an access to find a witness - A test using a `<type> impls ...` constraint from earlier in the same facet type - Some tests to show a rewrite constraint from earlier in the same facet type is not incorrectly used when it's applied to a different facet - A test of a facet type with a rewrite as the RHS of another rewrite, and the rewrite there should not leak or access things from the outer facet type