首页 发现 帮助
登录
tomteb
/
carbon-lang
1
0
派生 0
文件 工单管理 0 合并请求 0 Wiki
目录树: 87e588c334
分支列表 标签列表
carbon-lang
/
toolchain
/
check
/
testdata
/
named_constraint
Dana Jansens 90f839e84e Add IR tagging to RequireImplsIds (#6525) 4 月之前
..
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 90f839e84e Add IR tagging to RequireImplsIds (#6525) 4 月之前
invalid_members.carbon 22580a47d3 Initial support for empty named constraints (#6245) 6 月之前
require.carbon 90f839e84e Add IR tagging to RequireImplsIds (#6525) 4 月之前
require_invalid_modifiers.carbon 43e09e8e81 Type-check `require` declarations (#6286) 6 月之前