Unexpected "..." when assigning tuple with variable length to type alias #11102

Activity

1. DetachHead

   added

   bugmypy got something wrongmypy got something wrong

   on Sep 14, 2021
2. Zeckie commented on Sep 15, 2021

   

   Zeckie

   on Sep 15, 2021

   Last edited by Zeckie

   More actions

   This is valid (according to mypy):

   from typing import Tuple
   Foo = Tuple[int, ...]
   a: Foo = (1 ,2, 3)
   
   reveal_type(a) # note: Revealed type is "builtins.tuple[builtins.int]"

   Is it that mypy can't tell whether tuple is being used as a type or a function?

   from typing import Tuple
   reveal_type(Tuple[int]) # note: Revealed type is "builtins.object"
   reveal_type(tuple[int]) # note: Revealed type is "def (iterable: typing.Iterable[builtins.int*] =) -> builtins.tuple[builtins.int*]" 
3. hauntsaninja commented on Sep 21, 2021

   

   hauntsaninja

   on Sep 21, 2021

   Collaborator

   More actions

   I believe this was fixed (a while back) on master #10766
4. hauntsaninja

   closed this as completedon Sep 21, 2021