Remove some single-interface restrictions from some uses of facet types

carbon-language / carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

http://docs.carbon-lang.dev/

Other

32.38k stars 1.48k forks source link

Remove some single-interface restrictions from some uses of facet types #4508

Closed josh11b closed 2 weeks ago

josh11b commented 2 weeks ago

Can you add some test coverage that demonstrates we're checking that each interface in a multi-interface facet type is checked for completeness as appropriate?

We currently have no way to construct a multi-interface facet type.