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