{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"});"}]}
        });
            mspans.freeze_and_get_read_spans().hash_stable(&mut hcx, &mut stable_hasher);
        stable_hasher.finish()