[#5129] don't do push_context and its lookups during a __repr__
1 file changed