Marco Ricci
Fix miscellaneous type checking issues in the tests
Marco Ricci commited 98fbb55 at 2024-06-30 21:37:17