It is my understanding that - at least for the moment - pytype is not maintained anymore. This means that potential issues in pytype - like the one in #11957 (comment) won't get fixed. I suggest to remove the pytype tests and pytype compatibility guarantees, until this situation changes.