{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//"}]}
        // `use_counts[_1]`. That in turn might make `_1` unused, so we loop until we hit a
        // count. For example, if we removed `_2 = discriminant(_1)`, then we'll subtract one from
        // fixedpoint where there are no more unused locals.