tomteb/carbon-lang: == Clone of https://github.com/carbon-language/carbon-lang.git == @ 87e588c3349e703ade0ad8dc738c403473ff50a1

Дрво: 87e588c334

Dana Jansens 90f839e84e Add IR tagging to RequireImplsIds (#6525)		пре 4 месеци
..
basic.carbon	ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321)	пре 5 месеци
convert.carbon	c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)	пре 4 месеци
empty.carbon	c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)	пре 4 месеци
empty_generic.carbon	c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)	пре 4 месеци
generic.carbon	c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)	пре 4 месеци
import_constraint_decl.carbon	90f839e84e Add IR tagging to RequireImplsIds (#6525)	пре 4 месеци
invalid_members.carbon	22580a47d3 Initial support for empty named constraints (#6245)	пре 6 месеци
require.carbon	90f839e84e Add IR tagging to RequireImplsIds (#6525)	пре 4 месеци
require_invalid_modifiers.carbon	43e09e8e81 Type-check `require` declarations (#6286)	пре 6 месеци