**Bug Report** The example of using `SupportsLessThan` in [the documentation](https://mypy.readthedocs.io/en/stable/runtime_troubles.html#using-types-defined-in-stubs-but-not-at-runtime) does not work in mypy 0.941 or 0.940. **To Reproduce** https://mypy-play.net/?mypy=0.931&python=3.10&gist=6ad43abe09b33cd9dceea02d40c0224d Works correctly on 0.931, but not 0.941 or 0.940.