{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"ecx.eq(goal.param_env,"}]}
            ecx.eq(goal.param_env, goal.predicate.trait_ref, impl_trait_ref)?;
            let where_clause_bounds = cx