Hah, Pyright passes everything. I thought there would be areas where it was less conformant than mypy.