{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"Some(param_env.and(infer::ValuePairs::Terms(ExpectedFound"}]}
                Some(param_env.and(infer::ValuePairs::Terms(ExpectedFound {
                    .map(|decl| (decl.output.span(), Cow::from("return type in trait"), false)),
                    expected: trait_return_ty.into(),