This is actually the first report I see of the type hints not working (maybe because very few people try to use them).
The main use case for them in the current code base is to make IDEs happy with pytorch and support auto-completion.