Начало Каталог Помощ
Вход
tomteb
/
carbon-lang
1
0
Разклонения 0
Файлове Задачи 0 Заявки за сливане 0 Уики
Клон: trunk
Клонове Маркери

Commit History

Автор SHA1 Съобщение Дата
  Dana Jansens 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) преди 4 дни
  Dana Jansens d9841992cb Replace .Self in facet types (#7097) преди 1 седмица
  Dana Jansens cc5a42691e Add `where T impls X` constraints into the FacetTypeInfo (#7038) преди 3 седмици
  Dana Jansens 917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667) преди 2 месеца
  Dana Jansens 32aa7cb1fa Make identifying a facet type an operation on a (self+facet type) pair (#6592) преди 3 месеца
  Dana Jansens efec4e4658 Move generic stack operations into handle_impl.cpp (Refactor Impl construction 8/7) (#6484) преди 4 месеца
  Dana Jansens fbcaf34494 Defer RequireCompleteType to impl definition (Refactor Impl construction 7/7) (#6470) преди 4 месеца
  Geoff Romer 0811d996e1 Finish renaming BindName and related insts. (#6281) преди 6 месеца
  Dana Jansens 22580a47d3 Initial support for empty named constraints (#6245) преди 6 месеца
  Dana Jansens 4b0e2b03b6 Add the `.Self` name for the type expression of a compile time binding (#5937) преди 8 месеца
  Dana Jansens 3d77c4441b Compare ImplWitnessAccess into Self as canonical constants (#5883) преди 9 месеца
  Dana Jansens b36a987e73 Find cycles in rewrite constraints without performing the full exponential expansion of the RHS (#5673) преди 9 месеца
  Dana Jansens 517bec24ef Nested facets (#5644) преди 10 месеца
  Dana Jansens 3689a3b3e4 Call GetConstantFacetTypeInfo on fully constructed FacetTypeInfo in WhereExpr and BitAnd (#5647) преди 10 месеца
  Dana Jansens f506376e53 Resolve rewrites in facet types, looking for duplicates (#5620) преди 11 месеца
  Jon Ross-Perkins 55da026a46 Remove the SemIRLoc typedef (#5299) преди 1 година
  Dana Jansens cf57c85545 Introduce TypeInstId (#5288) преди 1 година
  josh11b bc439ad092 Forward `impl` declarations of incomplete facet types (#5219) преди 1 година
  josh11b eb69d7420e First iteration of completing and resolving facet types (#4920) преди 1 година