syntax_data: {"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"ty::Invariant"}]}
source_snippet:                     ty::Invariant => {
context_before:                     }
context_after:                         infcx.equate_ty_vids_raw(a_id, b_id);