Commit History

Автор SHA1 Съобщение Дата
  Dana Jansens 554b1b8d10 Remove SymbolicBindingType (#7114) преди 1 седмица
  Dana Jansens cc5a42691e Add `where T impls X` constraints into the FacetTypeInfo (#7038) преди 3 седмици
  Dana Jansens 451b50a3ad Add storage for `<type> impls <facettype>` in the FacetTypeInfo (#7005) преди 1 месец
  Dana Jansens 8f3b057179 Don't qualify names after a `.` in an ImplWitnessAccess when stringifying (#7000) преди 1 месец
  Geoff Romer aec2534e9d Fix formatting of compound-type variable declarations in macros (#6997) преди 1 месец
  Geoff Romer bf9219d30e Check support for form literals and `:?` bindings (#6747) преди 2 месеца
  Dana Jansens 917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667) преди 2 месеца
  Jon Ross-Perkins 2c6d9c7f66 Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708) преди 2 месеца
  Geoff Romer 9106f9533c Use lines instead of statements for readability-function-size clang-tidy (#6594) преди 3 месеца
  Jon Ross-Perkins c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) преди 4 месеца
  Richard Smith 6b28213b36 Add interop support for naming and "calling" C++ templates. (#6474) преди 4 месеца
  Dana Jansens e32190a228 Stringify specifics of named constraints (#6444) преди 5 месеца
  Dana Jansens 73e6994d44 Add a diagnostic note for errors during identifying facet types (#6445) преди 5 месеца
  Richard Smith ec8c999bb1 Support passing Carbon `Optional(T*)` to C++ `T*` parameter. (#6422) преди 5 месеца
  Dana Jansens 201e408252 Type completion of facet types is separate from Identifying (#6385) преди 5 месеца
  Jon Ross-Perkins fbc7690157 Switch `zip` to `zip_equal` where possible (#6389) преди 5 месеца
  Boaz Brickner b5bdfdd857 Rename `TypeLiteralInfo` to `RecognizedTypeInfo` (#6384) преди 5 месеца
  Dana Jansens ca3f95faa6 Make named constraint eval to a FacetType with itself in it (#6308) преди 6 месеца
  Jon Ross-Perkins 356ea7fd30 Fix Cpp.void stringification to be consistent with other singletons (#6301) преди 6 месеца
  Boaz Brickner 4d4d720ff0 C++ Interop: Support getting `void*` from C++ functions and passing `void*` it to C++ function (#6279) преди 6 месеца
  Geoff Romer 0811d996e1 Finish renaming BindName and related insts. (#6281) преди 6 месеца
  Dana Jansens 22580a47d3 Initial support for empty named constraints (#6245) преди 6 месеца
  Dana Jansens fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) преди 7 месеца
  Jon Ross-Perkins 4a6376cf59 Rename/restructure `Destroy` logic to better reflect #6124 (#6144) преди 7 месеца
  Jon Ross-Perkins 8004c2d5f6 CalleeFunction -> Callee name adjustments (#6117) преди 7 месеца
  Jon Ross-Perkins 0f7df4ed7e Switch CalleeFunction to a variant (#6104) преди 7 месеца
  Richard Smith bac828d244 Add support for `char` keyword per #5903. (#6078) преди 7 месеца
  Jon Ross-Perkins 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) преди 7 месеца
  Ivana Ivanovska 12ddfb9c7c [Carbon/C++ interop] Add support for C++ overloaded functions (#5891) преди 7 месеца
  Richard Smith 0e6dd7e701 Add `MaybeUnformed(T)` type. (#5989) преди 8 месеца