TypeChecking introduced in test file.