error: Unsupported operand types for + ("Tuple[Tuple[int]]" and "Tuple[Tuple[int, ...], ...]")

[bmerry]

I don't know enough to know if this is a problem in typeshed or mypy - apologies if it's misfiled.

• Are you reporting a bug, or opening a feature request?

Bug

• Please insert below the code you are checking with mypy

from typing import Tuple

def add(x: Tuple[Tuple[int, ...], ...]) -> Tuple[Tuple[int, ...], ...]:
    return ((3,),) + x

• What is the actual behavior/output?

add_tuple.py:4: error: Unsupported operand types for + ("Tuple[Tuple[int]]" and "Tuple[Tuple[int, ...], ...]")

• What is the behavior/output you expect?

I expect this to pass, since this should always be a valid operation.

• What are the versions of mypy and Python you are using?
  Do you see the same issue after installing mypy from Git master?

mypy 0.660; Python 3.6.6. I tried git master but pip install git+git://github.com/python/mypy.git fails.

• What are the mypy flags you are using? (For example --strict-optional)

None

[ilevkivskyi]

Duplicate of #224