Richard Smith 37b238fa28 Make C++ types impl `Core.Default`. (#6962) hai 1 mes
..
min_prelude 37b238fa28 Make C++ types impl `Core.Default`. (#6962) hai 1 mes