Please consider the proposed spec change in https://github.com/python/typing/pull/2011. It specifies that `assert_type()` uses equivalence, but type checkers are allowed to have an incomplete implementation that rejects some equivalent types. Discussion in https://discuss.python.org/t/specify-that-assert-type-checks-for-equivalence/92967 Signoff: - [x] Carl - [x] Eric - [x] Jelle - [ ] Jukka - [x] Rebecca