{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"ReplaceAliasWithInfer"}]}
        ReplaceAliasWithInfer {
        let step_kind = ecx.step_kind_for_source(for_goal_source);
            ecx,