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

Drzewo: 4bb2935770

Dana Jansens 4bb2935770 Look through `extend require` in an interface or named constraint in name lookup (#6630)		3 miesięcy temu
..
basic.carbon	ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321)	5 miesięcy temu
convert.carbon	c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)	4 miesięcy temu
empty.carbon	c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)	4 miesięcy temu
empty_generic.carbon	c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)	4 miesięcy temu
generic.carbon	c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)	4 miesięcy temu
import_constraint_decl.carbon	4bb2935770 Look through `extend require` in an interface or named constraint in name lookup (#6630)	3 miesięcy temu
invalid_members.carbon	22580a47d3 Initial support for empty named constraints (#6245)	6 miesięcy temu
require.carbon	4bb2935770 Look through `extend require` in an interface or named constraint in name lookup (#6630)	3 miesięcy temu
require_invalid_modifiers.carbon	43e09e8e81 Type-check `require` declarations (#6286)	6 miesięcy temu