La classe Python étend le protocole et implémente la classe [fermé]

Question

J'ai défini un protocole et une classe. Je voudrais utiliser l'analyse statique pour vérifier les objets qui sont à la fois sous-classe de la classe que j'ai définie tout en implémentant le protocole en même temps.

Est-ce possible avec la frappe?

Answer 1

Ce que vous voulez est appelé «intersection» et a fait l'objet de discussions depuis le début de la «saisie», mais n'a toujours pas été introduit.