Multiply Tuple with IntExpr

[ecprice]

(1,)*3 should be of type Tuple[int,int,int], not raise an exception.

I suppose (1,)*n may as well wait for proper tuple sequences, though.

[JukkaL]

Yeah, mypy should support this. It doesn't raise an exception fpr me, however, but gives an error (Unsupported operand types for * ("Tuple[int]" and "int")).

And yes, the general case should probably wait for variable-length tuples (#184) and we should use them. However, using Sequence[t] would be okay in the interim if somebody implements this.

[JukkaL]

Okay, the (1,) * n case is implemented now, and it results in Tuple[int, ...] (with literal ...).

[JukkaL]

(1, '') * 2 (a fixed-length tuple is multiplied by an interger literal) still produces a too general type (Tuple[object, ...]).