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