WSL should have more tests of type checking failures