{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
            // again. To handle this, we treat these cycles as ambiguous for now.
            // impl them, which means we're "stepping out of the impl constructor"
            ecx.add_goals(GoalSource::Misc, nested_obligations);