TypeScript claims no error even if parameter has the wrong type TypeScript claims no error even if parameter has the wrong type typescript typescript