coates’s Twitter Archive—№ 22,799

#python mypy experts: a[n empty] .pyi stub file will completely override the actual source. Is there a way to get mypy to complain about this? (It’s even worse when a stub is not empty but is just missing a definition or two.) github.com/scoates/mypy-missing