--type-check