tomteb/carbon-lang

Грана: trunk

Аутор	SHA1 Порука	Датум
Dana Jansens	c64117d0e0 Make IdTag typesafe (#6574)	пре 3 месеци
Dana Jansens	54a1c8213c Add lldb dumping for RequireImplsId and RequireImplsBlockId (#6524)	пре 4 месеци
Dana Jansens	6a60b80508 Remove the FacetTypeId in RequireImpls (#6437)	пре 5 месеци
Dana Jansens	201e408252 Type completion of facet types is separate from Identifying (#6385)	пре 5 месеци
Dana Jansens	e62678e682 Identify and complete facet types as needed for p5168 (#6369)	пре 5 месеци
Dana Jansens	0177dc5677 Import contained RequireImpls when importing an Interface or NamedConstraint (#6344)	пре 5 месеци
Dana Jansens	ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321)	пре 5 месеци
Dana Jansens	81e55bed8a Generate a RequireDecl instruction for require declarations (#6318)	пре 5 месеци