Да хз. Вроде идея крутая, но скорее всего кому актуально уже на cython или сишечке себе все написали, а на любой говнокод оно не натянется...
Most type annotations are enforced at runtime (raising TypeError on mismatch)
Classes are compiled into extension classes without __dict__ (much, but not quite, like if they used __slots__)
Monkey patching doesn't work
Instance attributes won't fall back to class attributes if undefined
Но вообще как опция очень круто.
Только непонятно, почему они его в mypy вмерджили. Потом назад вымерджат или там и останется?
Была же статья недавно про эту штуку (на хабре кажется).
Они для себя это в первую очередь сделали, для ускорения mypy. Ведь mypy был уже покрыт аннотациями с типами.
Можно попробовать заюзать у себя, но ни каких гарантий - это пока не публичная и не продакшен-реди либа.