tsc --project test/types
