{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"//"}]}
            // Nothing has changed.
        _ if num_targets == targets.all_targets().len() => {
            return false;