So I have some concerns about #53316 ...
first off, it seems like this bug is being reported fairly late (if
Reveal::All is true...)
I think we might want to see if we can catch the error earlier -- for example, by checking if the "hidden type" for an opaque type includes a reference to itself
that seems like a better fix?