| .. |
|
basic.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
5 месяцев назад |
|
convert.carbon
|
0177dc5677
Import contained RequireImpls when importing an Interface or NamedConstraint (#6344)
|
5 месяцев назад |
|
empty.carbon
|
0177dc5677
Import contained RequireImpls when importing an Interface or NamedConstraint (#6344)
|
5 месяцев назад |
|
empty_generic.carbon
|
0177dc5677
Import contained RequireImpls when importing an Interface or NamedConstraint (#6344)
|
5 месяцев назад |
|
generic.carbon
|
54815d7a1f
Make Subst recurse through named constraints in a FacetTypeInfo (#6367)
|
5 месяцев назад |
|
import_constraint_decl.carbon
|
e62678e682
Identify and complete facet types as needed for p5168 (#6369)
|
5 месяцев назад |
|
invalid_members.carbon
|
22580a47d3
Initial support for empty named constraints (#6245)
|
6 месяцев назад |
|
require.carbon
|
e62678e682
Identify and complete facet types as needed for p5168 (#6369)
|
5 месяцев назад |
|
require_invalid_modifiers.carbon
|
43e09e8e81
Type-check `require` declarations (#6286)
|
6 месяцев назад |