tomteb/carbon-lang: == Clone of https://github.com/carbon-language/carbon-lang.git == @ 6a60b8050833d15b5f6973fab5a0c3c4d768b1e0

Tree: 6a60b80508

Dana Jansens 6a60b80508 Remove the FacetTypeId in RequireImpls (#6437)		5 tháng trước cách đây
..
basic.carbon	ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321)	5 tháng trước cách đây
convert.carbon	0177dc5677 Import contained RequireImpls when importing an Interface or NamedConstraint (#6344)	5 tháng trước cách đây
empty.carbon	0177dc5677 Import contained RequireImpls when importing an Interface or NamedConstraint (#6344)	5 tháng trước cách đây
empty_generic.carbon	201e408252 Type completion of facet types is separate from Identifying (#6385)	5 tháng trước cách đây
generic.carbon	54815d7a1f Make Subst recurse through named constraints in a FacetTypeInfo (#6367)	5 tháng trước cách đây
import_constraint_decl.carbon	6a60b80508 Remove the FacetTypeId in RequireImpls (#6437)	5 tháng trước cách đây
invalid_members.carbon	22580a47d3 Initial support for empty named constraints (#6245)	6 tháng trước cách đây
require.carbon	6a60b80508 Remove the FacetTypeId in RequireImpls (#6437)	5 tháng trước cách đây
require_invalid_modifiers.carbon	43e09e8e81 Type-check `require` declarations (#6286)	6 tháng trước cách đây