syntax_data: {"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"(ty::Infer(_),"}]}
source_snippet:         (ty::Infer(_), _) | (_, ty::Infer(_)) => Err(TypeError::Sorts(ExpectedFound::new(a, b))),
context_before:         // All other cases of inference are errors