{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"GoalSource::Misc,"}]}
                GoalSource::Misc,
            ecx.add_goals(
                cx.impl_super_outlives(impl_def_id)