Histórico de Commits

Autor SHA1 Mensagem Data
  Dana Jansens 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) há 4 dias atrás
  Dana Jansens 235267680b Subst `.Self` in `impl as` rewrites (#7105) há 1 semana atrás
  Dana Jansens 5503f643c6 Introduce typed-inst accessors for ConstantValueStore (#6980) há 1 mês atrás
  Dana Jansens 142596b49c Diagnose unidentified type-of-self in impl lookup query (#6769) há 2 meses atrás
  Dana Jansens fbc8d59d32 Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761) há 2 meses atrás
  Dana Jansens 917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667) há 2 meses atrás
  Jon Ross-Perkins 45ca3d28f5 Drop "diagnostic" from some filenames in the "diagnostics" folder (#6686) há 3 meses atrás
  Dana Jansens 7f7186c227 Extended name lookup replaces inner Self (#6632) há 3 meses atrás
  Dana Jansens 4bb2935770 Look through `extend require` in an interface or named constraint in name lookup (#6630) há 3 meses atrás
  Dana Jansens 848eddc9dd Avoid cyclic lookup of an impl inside its own definition (#6629) há 3 meses atrás
  Dana Jansens 32aa7cb1fa Make identifying a facet type an operation on a (self+facet type) pair (#6592) há 3 meses atrás
  Dana Jansens 3a7c44c5c4 Check required implementations when an enclosing interface is implemented (#6522) há 3 meses atrás
  Jon Ross-Perkins 655932da0b Refactor BuildCustomWitness out to its own file (#6515) há 4 meses atrás
  Dana Jansens efec4e4658 Move generic stack operations into handle_impl.cpp (Refactor Impl construction 8/7) (#6484) há 4 meses atrás
  Jon Ross-Perkins 25f63140e6 Refactor CppWitness as CustomWitness (#6491) há 4 meses atrás
  Dana Jansens fbcaf34494 Defer RequireCompleteType to impl definition (Refactor Impl construction 7/7) (#6470) há 4 meses atrás
  Dana Jansens 463ba0e1db Clean up helpers for GetOrAddImpl (Refactor Impl construction 5/7 and 6/7) (#6469) há 4 meses atrás
  Dana Jansens 35d505a985 Check the orphan rule for impls (#6488) há 4 meses atrás
  Dana Jansens 14998d6045 Consolidate error handling behaviour for `ApplyExtendImplAs` (Refactor Impl construction 4/7) (#6468) há 4 meses atrás
  Dana Jansens 1c3d3e9284 Move forward-decl-only code out to the handler of the forward decl node (Refactor Impl construction 3/7) (#6467) há 4 meses atrás
  Dana Jansens b07b8a122a Make StartImplDecl into a more explicit GetOrAddImpl (Refactor Impl construction 2/7) (#6466) há 4 meses atrás
  Dana Jansens 2d38978756 Diagnose explicit `Self` in extend in the parse node handler (Refactor Impl construction 1/7) (#6465) há 4 meses atrás
  Richard Smith 372f632d9d Implement support for copying C++ classes. (#6434) há 5 meses atrás
  Dana Jansens 0cf2448505 Get specific interfaces with correct specific from named constraints (#6435) há 5 meses atrás
  Jon Ross-Perkins fbc7690157 Switch `zip` to `zip_equal` where possible (#6389) há 5 meses atrás
  Dana Jansens e62678e682 Identify and complete facet types as needed for p5168 (#6369) há 5 meses atrás
  Dana Jansens ca3f95faa6 Make named constraint eval to a FacetType with itself in it (#6308) há 6 meses atrás
  Jon Ross-Perkins a1fd86cf27 Change ImplWitnessTablePlaceholder from instruction to InstId value (#6294) há 6 meses atrás
  Dana Jansens 26381f6eaf Handle parsing of `require`...`impls` declarations (#6255) há 6 meses atrás
  Dana Jansens e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) há 6 meses atrás