Use mypy to find backward incompatibilities between library versions

Feature

Would it be possible to use mypy to find backward incompatibilities between versions of a library?
I'm thinking about snapshotting the signature of all modules/functions/classes at some point, and checking whether for a later version, the API is a superset/subtype (According to Liskov, probably.)

Pitch

Feel free to close if this doesn't belong here. But I've the impression that Mypy has the logic to figure out whether one function or class is a subtype of another, so I wonder whether that would be possible for a package as a whole. This would be a big help to discover breaking changes in a library.

L'issue non indica file, test o punti di ingresso. Inizia esaminando le funzionalità esistenti di mypy per il controllo dei sottotipi e l'analisi delle API, quindi determina come acquisire e confrontare le firme delle librerie tra le versioni. Il lavoro sarebbe completato quando sarà definito un approccio implementabile per rilevare modifiche incompatibili con le versioni precedenti.