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

Árbol: 87e588c334

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