Startseite Erkunden Hilfe
Anmelden
tomteb
/
carbon-lang
1
0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: trunk
Branches Tags

Commit Verlauf

Autor SHA1 Nachricht Datum
  Dana Jansens 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) vor 4 Tagen
  Dana Jansens d9841992cb Replace .Self in facet types (#7097) vor 1 Woche
  Dana Jansens b8bc7bffd2 Rework validation of require constraints (#7081) vor 2 Wochen
  Dana Jansens 6cc08ae6e6 Remove SymbolicBinding step in TypeIterator (#7039) vor 3 Wochen
  Dana Jansens 451b50a3ad Add storage for `<type> impls <facettype>` in the FacetTypeInfo (#7005) vor 1 Monat
  Dana Jansens bad9beddc7 Diagnose using named constraint's name inside its definition (#6906) vor 1 Monat
  Dana Jansens 142596b49c Diagnose unidentified type-of-self in impl lookup query (#6769) vor 2 Monaten
  Dana Jansens fbc8d59d32 Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761) vor 2 Monaten
  Dana Jansens 917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667) vor 2 Monaten
  Dana Jansens 7f7186c227 Extended name lookup replaces inner Self (#6632) vor 3 Monaten
  Dana Jansens 114d892ac1 Clarify and fix diagnostic for missing `Self` in a require declaration (#6616) vor 3 Monaten
  Dana Jansens 4bb2935770 Look through `extend require` in an interface or named constraint in name lookup (#6630) vor 3 Monaten
  Dana Jansens 32aa7cb1fa Make identifying a facet type an operation on a (self+facet type) pair (#6592) vor 3 Monaten
  Dana Jansens 3c8417947b Propagate errors in `extend require` up to the containing scope (#6480) vor 4 Monaten
  Dana Jansens 2d38978756 Diagnose explicit `Self` in extend in the parse node handler (Refactor Impl construction 1/7) (#6465) vor 4 Monaten
  Dana Jansens 6a60b80508 Remove the FacetTypeId in RequireImpls (#6437) vor 5 Monaten
  Dana Jansens 25536cab67 Avoid a crash when the type of Self in an interface or constraint is an error (#6443) vor 5 Monaten
  Dana Jansens 0cf2448505 Get specific interfaces with correct specific from named constraints (#6435) vor 5 Monaten
  Dana Jansens 201e408252 Type completion of facet types is separate from Identifying (#6385) vor 5 Monaten
  Dana Jansens e62678e682 Identify and complete facet types as needed for p5168 (#6369) vor 5 Monaten
  Dana Jansens 0177dc5677 Import contained RequireImpls when importing an Interface or NamedConstraint (#6344) vor 5 Monaten
  Dana Jansens ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) vor 5 Monaten
  Dana Jansens 81e55bed8a Generate a RequireDecl instruction for require declarations (#6318) vor 5 Monaten
  Dana Jansens ca3f95faa6 Make named constraint eval to a FacetType with itself in it (#6308) vor 6 Monaten
  Dana Jansens 43e09e8e81 Type-check `require` declarations (#6286) vor 6 Monaten
  Dana Jansens 26381f6eaf Handle parsing of `require`...`impls` declarations (#6255) vor 6 Monaten