Dana Jansens e62678e682 Identify and complete facet types as needed for p5168 (#6369) 5 сар өмнө
..
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 сар өмнө