{"ast_node_type":"variable","tokens":[{"end":92,"kind":"keyword","start":0,"text":"let"}]}
        let assumption_projection_pred = ecx.instantiate_binder_with_infer(projection_pred);
        ecx.eq(goal.param_env, goal.predicate.alias, assumption_projection_pred.projection_term)?;