Though outside the scope of this particular PR, I've created an issue to discuss ways in which date/time generators can be improved and made more robust (in terms of subtype inference and quality of error messages).
TODO: more robust date/time testing to catch bugs like this and #297 in future.
christos-h
commented
2 years ago
This address internal issue: 1e11djh
Also fixes: #297
Though outside the scope of this particular PR, I've created an issue to discuss ways in which date/time generators can be improved and made more robust (in terms of subtype inference and quality of error messages).
TODO: more robust date/time testing to catch bugs like this and #297 in future.