On Friday, 10 February 2023 at 21:08:38 UTC, Dennis wrote: > Question to the community: do you name tests, and do you like > the idea? Personally I'm not sure if I could find an interesting name for tests, but I can certainly express their intent in a string literal like in Zig.