mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 21:00:13 +01:00
Dana Jansens
e7ed217d4e
Instead of requiring just one to have a designator, require each one. You can't write `(type where A == B) & (type where C == .Self)` because `A == B` has no designator. If the two facet types are combined into a single `where` syntactically, their meaning does not change, and what we allow should not change either. That is, `type where A == B and C == .Self` should be rejected since `A == B` does not contain a designator. The design is also updated to make this clear.