{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"Goal::new(ecx.cx(),"}]}
                Goal::new(ecx.cx(), param_env, ty::OutlivesPredicate(a_region, b_region)),
                GoalSource::ImplWhereBound,
            );