syntax_data: {"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"ty::Infer(var)"}]}
source_snippet:             ty::Infer(var) => return self.var_and_ty_may_unify(var, lhs),
context_before:             ty::Error(_) | ty::Alias(..) | ty::Bound(..) => return true,