{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"while"}]}
            while i < { definitions.read().num_definitions() } {
            // new ones.
                let local_def_index = rustc_span::def_id::DefIndex::from_usize(i);