Strona główna Odkrywaj Pomoc
Zaloguj się
tomteb
/
carbon-lang
1
0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki
Drzewo: 87e588c334
Gałęzie Tagi
carbon-lang
/
toolchain
/
check
/
testdata
/
named_constraint
Dana Jansens 90f839e84e Add IR tagging to RequireImplsIds (#6525) 4 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 90f839e84e Add IR tagging to RequireImplsIds (#6525) 4 miesięcy temu
invalid_members.carbon 22580a47d3 Initial support for empty named constraints (#6245) 6 miesięcy temu
require.carbon 90f839e84e Add IR tagging to RequireImplsIds (#6525) 4 miesięcy temu
require_invalid_modifiers.carbon 43e09e8e81 Type-check `require` declarations (#6286) 6 miesięcy temu