syntax_data: {"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":")"}]}
source_snippet:     ) -> RelateResult<Self::Interner, ()>;
context_before:         source_ty: <Self::Interner as Interner>::Ty,
context_after:     fn instantiate_int_var_raw(&self, vid: ty::IntVid, value: ty::IntVarValue);