Inferring constraints for callable types doesn't verify argument counts and kinds #702

Activity

1. JukkaL

   added

   bugmypy got something wrongmypy got something wrong

   priority

   on Jun 1, 2015
2. ddfisher commented on Mar 2, 2016

   

   ddfisher

   on Mar 2, 2016

   Collaborator

   More actions

   @JukkaL can you clarify with some concrete problems?
3. JukkaL

   removed

   priority

   on Jun 7, 2016
4. JukkaL

   added

   priority-1-normal

   false-positivemypy gave an error on correct codemypy gave an error on correct code

   on May 17, 2018
5. JukkaL commented on May 17, 2018

   

   JukkaL

   on May 17, 2018

   CollaboratorAuthor

   More actions

   Here is an example that produces incorrect output (though the example isn't realistic):

   from typing import TypeVar, Callable, Tuple
   
   T = TypeVar('T')
   S = TypeVar('S')
   
   def f(x: Callable[[T, S], None]) -> Tuple[T, S]:
       pass
   
   def g(*x: int) -> None: pass
   
   reveal_type(f(g))  # Tuple[int, <nothing>]

   The expected output is Tuple[int, int].
6. AlexWaygood

   added

   topic-callsFunction calls, *args, **kwargs, defaultsFunction calls, *args, **kwargs, defaults

   on Apr 3, 2022
7. ilevkivskyi

   closed this as completedin #15910on Aug 21, 2023
8. ilevkivskyi

   added a commit that references this issue on Aug 21, 2023

   More principled approach for callable vs callable inference (#15910)

   ...

   7141d6b