{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"ty::ReVar(_)"}]}
            ty::ReVar(_) | ty::RePlaceholder(_) | ty::ReErased => unreachable!(
            }
                "should not have leaked vars or placeholders into hidden type of RPITIT"