Avertissements de type de retour dans PyCharm

J'ai pas réussi à trouver la checkbox "type checker" dans mon Pycharm. Ca a peut-être changé de nom / emplacement entre temps des maj de l'IDE.

Mais j'ai l'impression que c'est effectivement activé fait par défaut parce que dans l'exemple suivant, mon IDE me dit bien qu'il y a un problème sur le type de retour

Par contre fait étrange, si j'oublie volontairement d'annoter le paramètre a, PyCharm ne me lève plus de warning sur mon type de retour. Pourquoi ?

Re,

Alors je n'utilise pas Pycharm (j'utilise VsCode pour ma part).
Mais pour moi c'est effectivement activé par défaut.

Normalement si un paramètre n'est pas annoté dans une fonction Python, il est considéré comme de type Any, ce qui empêche le type checker de vérifier précisément le type de retour et donc de signaler une incohérence.

Ah ben oui, tout d'un coup ça me parait logique.

Comme je n'ai pas annoté le paramètre a, a pourait potentiellement être de n'importe quel type (comme une str par exemple). Du coup Python n'a pas moyen de s'assurer à 100% du type de retour à cause du fait qu'il ne connait pas à l'avance le param a. C'est bien ça ?

Oui c'est ça, ça pourrait être de n'importe quel type ici ^^