--type-check 