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.