Domů Procházet Nápověda
Přihlásit se
tomteb
/
carbon-lang
1
0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Strom: 80639a02f0
Větve Značky
carbon-lang
/
toolchain
/
check
/
testdata
/
named_constraint
Dana Jansens 90f839e84e Add IR tagging to RequireImplsIds (#6525) před 4 měsíci
..
basic.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) před 5 měsíci
convert.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) před 4 měsíci
empty.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) před 4 měsíci
empty_generic.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) před 4 měsíci
generic.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) před 4 měsíci
import_constraint_decl.carbon 90f839e84e Add IR tagging to RequireImplsIds (#6525) před 4 měsíci
invalid_members.carbon 22580a47d3 Initial support for empty named constraints (#6245) před 6 měsíci
require.carbon 90f839e84e Add IR tagging to RequireImplsIds (#6525) před 4 měsíci
require_invalid_modifiers.carbon 43e09e8e81 Type-check `require` declarations (#6286) před 6 měsíci