Incorrect constraint inference for unions with nested generics

🐛 Bug Report

From my search, it looks like an issue similar to #6417, but happening to unions of generic and nested generic.
mypy has troubles with inferring a proper constraint and passing a nested generic to function that should accept such nested generic fails.
The issue can be worked around with @overloads.

To Reproduce

Minimum reproduction:

from typing import List, TypeVar, Union

_T = TypeVar("_T")


def func(param: Union[List[_T], List[List[_T]]]) -> _T:
    ...

func([1])
func([[1]])

A more real-live example of where this is an issue is tornado's gen function (overloads there are the part of workaround for this issue):
https://github.com/tornadoweb/tornado/pull/2909/files

Expected Behavior

No errors.

Actual Behavior

main.py:10: error: Argument 1 to "func" has incompatible type "List[List[int]]"; expected "Union[List[<nothing>], List[List[<nothing>]]]"

Your Environment

• Mypy version used: 0.781
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.8.5
• Operating system and version: Windows 10

Bắt đầu với bản tái hiện tối thiểu trong main.py và xác minh hành vi khác nhau của func([1]) và func([[1]]) bằng mypy. Theo dõi đường đi của quá trình suy luận ràng buộc cho Union[List[_T], List[List[_T]]] và so sánh với issue liên quan #6417 cũng như workaround overload trong pull request Tornado được liên kết. Được xem là hoàn tất khi cả hai lệnh gọi đều được kiểm tra kiểu mà không có lỗi.