Dana Jansens a27ef24cd7 Use the name of the self and facet type as the inst name for a require decl scope (#6602) 3 ヶ月 前
..
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 a27ef24cd7 Use the name of the self and facet type as the inst name for a require decl scope (#6602) 3 ヶ月 前
invalid_members.carbon 22580a47d3 Initial support for empty named constraints (#6245) 6 ヶ月 前
require.carbon a27ef24cd7 Use the name of the self and facet type as the inst name for a require decl scope (#6602) 3 ヶ月 前
require_invalid_modifiers.carbon 43e09e8e81 Type-check `require` declarations (#6286) 6 ヶ月 前