{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"ty::Invariant"}]}
                ty::Invariant => {
                // Check if `exists<..> A == for<..> B`
                    infcx.enter_forall(b, |b| {