Commit historia

Upphovsman SHA1 Meddelande Datum
  Dana Jansens 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) 1 dag sedan
  Geoff Romer 4c9049346d Replace form insts with actions (#7100) 3 dagar sedan
  Dana Jansens 451b50a3ad Add storage for `<type> impls <facettype>` in the FacetTypeInfo (#7005) 1 månad sedan
  Richard Smith 181a592b8c Support for parsing expression patterns (#6977) 1 månad sedan
  Geoff Romer e0c6800ab3 Reverse nesting structure of parameter patterns (#6930) 1 månad sedan
  Geoff Romer 18cfeb7476 Add support for `->?` return forms (#6849) 1 månad sedan
  Geoff Romer 21291b4cc3 Remove `InitForm::index` (#6817) 1 månad sedan
  Jon Ross-Perkins 002b7c74ea Support CARBON_KIND with Any types (#6828) 1 månad sedan
  Dana Jansens cea52ad2d8 Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798) 2 månader sedan
  Richard Smith be88dfd744 Formatter: don't crash on unexpected SemIR. (#6787) 2 månader sedan
  Jon Ross-Perkins 3df256cfa9 Rewrite the FormatterChunks API (#6784) 2 månader sedan
  Jon Ross-Perkins c6bc033af8 Add a SemIR scope for generated entities (#6792) 2 månader sedan
  Jon Ross-Perkins e2bdbe8507 Make semir scope labels only print when non-empty (#6780) 2 månader sedan
  Jon Ross-Perkins 1a3f762dba Factor out FormatterChunks logic (#6779) 2 månader sedan
  Dana Jansens e991657e1d Use the canonical instructions to get SpecificIds in GetCallee (#6726) 2 månader sedan
  Dana Jansens 917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667) 2 månader sedan
  Geoff Romer f21e0e17ac Introduce ExprCategory::Dependent (#6744) 2 månader sedan
  Geoff Romer 3c324e4877 Add category to parameter format, and share some code. (#6730) 2 månader sedan
  Geoff Romer e5b05a1fac `ExprCategory` for guaranteed-in-place initializing expressions (#6623) 2 månader sedan
  Dana Jansens 7f7186c227 Extended name lookup replaces inner Self (#6632) 3 månader sedan
  Geoff Romer 4329a83e4c Form-aware textual format for return parameters and arguments (#6588) 3 månader sedan
  Dana Jansens c64117d0e0 Make IdTag typesafe (#6574) 3 månader sedan
  Geoff Romer e1ec8d42d1 Give `ReturnExpr` a target only when initialization is in-place (#6570) 3 månader sedan
  Geoff Romer 0e5832d3c2 Model `ref` tags as insts instead of annotations (#6541) 3 månader sedan
  Geoff Romer 2078721e1c Always build ReturnTypeInfo from a function (#6490) 4 månader sedan
  Jon Ross-Perkins c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 månader sedan
  Dana Jansens 7c1798d96d Format impl witness instructions as part of the impl (#6485) 4 månader sedan
  Richard Smith 6b28213b36 Add interop support for naming and "calling" C++ templates. (#6474) 4 månader sedan
  Dana Jansens 6a60b80508 Remove the FacetTypeId in RequireImpls (#6437) 5 månader sedan
  Richard Smith 6c9a581a83 Switch `GetExprCategory` to be table-driven. (#6371) 5 månader sedan