{"ast_node_type":"impl","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
            // impl them, which means we're "stepping out of the impl constructor"
            // `GoalSource::ImplWhereClause` here would be incorrect, as we also
            // again. To handle this, we treat these cycles as ambiguous for now.