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