Sample documenting the expected mismatch fixed by the previous 2 commits.
Sample documenting the expected mismatch fixed by the previous 2 commits.

I suspect that our prototype checker's behavior for such mismatches is
fixed by https://github.com/typetools/checker-framework/pull/4844

jspecify/jspecify