| .. |
|
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 сар өмнө |