test file for typechecking all good tests