{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"ecx.eq(goal.param_env,"}]}
        ecx.eq(goal.param_env, goal.predicate.trait_ref, assumption_trait_pred.trait_ref)?;
        let assumption_trait_pred = ecx.instantiate_binder_with_infer(host_clause);