Christopher Di Bella
|
9480c10ecf
teaches arithmetic interfaces about C++ operators (#7123)
|
5 päivää sitten |
Christopher Di Bella
|
f0c4b37c63
adds a field to `SemIR::Interface` to indicate whether it is a core interface (#7091)
|
1 viikko sitten |
Richard Smith
|
6f0ec37a8b
Make C++ enum types impl Core.Copy. (#7013)
|
1 kuukausi sitten |
Dana Jansens
|
d6be20641c
Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)
|
1 kuukausi sitten |
Richard Smith
|
37b238fa28
Make C++ types impl `Core.Default`. (#6962)
|
1 kuukausi sitten |
Christopher Di Bella
|
ffe8f8f67d
Revert "refactors `LookupCppImpl` to handle multiple associated functions (#6816)" (#6900)
|
1 kuukausi sitten |
Christopher Di Bella
|
4df2b6ea9d
adds checking support for `CppUnsafeDeref` witness (#6890)
|
1 kuukausi sitten |
Richard Smith
|
c297344937
Support conversion between integer types. (#6856)
|
1 kuukausi sitten |
Christopher Di Bella
|
4d0003765d
refactors `LookupCppImpl` to handle multiple associated functions (#6816)
|
1 kuukausi sitten |
Jon Ross-Perkins
|
74969cab04
Generate non-final Destroy witnesses for symbolics (#6731)
|
2 kuukautta sitten |
Jon Ross-Perkins
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 kuukautta sitten |
Jon Ross-Perkins
|
b34e349792
Push GetFacetAsType from impl_lookup to custom_witness (#6520)
|
4 kuukautta sitten |
Jon Ross-Perkins
|
2543d2ea4f
Add CoreInterface for consistent tracking of CoreIdentifier interfaces (#6516)
|
4 kuukautta sitten |
Jon Ross-Perkins
|
655932da0b
Refactor BuildCustomWitness out to its own file (#6515)
|
4 kuukautta sitten |