{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"ecx.add_goal("}]}
            ecx.add_goal(
            // Also require that a_ty's lifetime outlives b_ty's lifetime.
                GoalSource::ImplWhereBound,