Comment by maleldil

ty and zuban also don't give an error. pyright and pyrefly do.