... which breaks PSI/J.

They say "use the typechecked decorator", but I believe we were using check_argument_types because we could have it in an assert line which could be disabled by users when python is invoked with -O.