https://pantsbuild.org/ logo
#development
Title
# development
h

happy-kitchen-89482

12/20/2019, 6:09 AM
I suspect that due to how the engine matches types it doesn't super matter in practice, but it would be clearer to the reader.