Jon Ross-Perkins c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) hai 4 meses
..
parts c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) hai 4 meses
bool.carbon 86f90c4d8f Change extra-args order in min_prelude (#5695) hai 10 meses
convert.carbon 1ec8ac7ef9 Add `Copy` interface and use it for making copies. (#6034) hai 7 meses
destroy.carbon 0722dab0ef Reimplement destroy as an interface (#5678) hai 10 meses
for.carbon 1ec8ac7ef9 Add `Copy` interface and use it for making copies. (#6034) hai 7 meses
full.carbon badd544798 Add a `full.carbon` min-prelude that pulls in the full production prelude (#5703) hai 10 meses
int.carbon 49212feac6 Allow repeated includes, particularly for min_prelude (#5741) hai 10 meses
none.carbon 49ba8cf3e1 Switch class to use a blanket impl for `Destroy` (#6125) hai 7 meses
primitives.carbon bac828d244 Add support for `char` keyword per #5903. (#6078) hai 7 meses
uint.carbon 49212feac6 Allow repeated includes, particularly for min_prelude (#5741) hai 10 meses
unformed.carbon cb5e2e1597 Improve support for qualification conversions. (#5999) hai 8 meses