mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 19:40:10 +01:00
We were not copying named constraints in the base facet type over to the result of the WhereExpr eval. Add tests that cover this by doing `impl as Constraint where ...` with rewrite contraints either in the impl-as or in the named constraint. When the interface is generic, these tests fail (as TODOs). When the impl is used in impl lookup, we crash (with TODOs in the tests). Part of #6991.