| .. |
|
basic.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
5 luni în urmă |
|
convert.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 luni în urmă |
|
empty.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 luni în urmă |
|
empty_generic.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 luni în urmă |
|
generic.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 luni în urmă |
|
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 luni în urmă |
|
invalid_members.carbon
|
22580a47d3
Initial support for empty named constraints (#6245)
|
6 luni în urmă |
|
require.carbon
|
ee77aa4b67
Member access into a facet is not a "lookup in type of base" (#6631)
|
3 luni în urmă |
|
require_invalid_modifiers.carbon
|
43e09e8e81
Type-check `require` declarations (#6286)
|
6 luni în urmă |