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