Gaussian97's questions

Então, minha pergunta é sobre um código que se parece com isso:

def f(condition: bool) -> int | None:
    if condition:
        return 1

def g(condition: bool) -> int | None:
    if condition:
        return
    return 1

Este é claramente um código python válido, a ideia é que a função tentará fazer algo, se tiver sucesso retornará o resultado, mas se falhar retornará Nenhum

Meu problema é que o mypy reclama com o seguinte erro:

1: error: Missing return statement  [return]
7: error: Return value expected  [return-value]

Agora, o Python sempre retornará implicitamente None quando uma função não tiver uma instrução return, que é o que estou usando na minha função.

Minha pergunta é: existe alguma opção no mypy para (com alterações mínimas ou nenhuma alteração no código) dizer para ele parar de reclamar sobre esse código válido?

Para esclarecer, eu ainda gostaria que ele reclamasse sobre esse código:

def f(condition: bool) -> int:
    if condition:
        return 1

def g(condition: bool) -> int:
    if condition:
        return
    return 1

Estou adicionando dicas de tipo a um código antigo meu. No entanto, encontro um "problema" que não sei como resolver. Tenho uma função que se parece com:

def f(x: tuple[tuple[int, int], ...]):
    ...

Ou seja, ele aceita um argumento que é uma tupla de pares int. Em algum ponto do código eu chamo essa função passando como argumento a saída de itertools.product

from itertools import product

x = tuple(product(range(10), repeat=2))
f(x)

O código funciona sem problemas, pois xé uma tupla de 100 pares inteiros. No entanto, mypy reclama com o erro

error: Argument 1 to "tuple" has incompatible type "product[tuple[int, ...]]"; expected "Iterable[tuple[int, int]]"  [arg-type]

Existe uma maneira de superar esse problema?