{"ast_node_type":"import","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
        // Biased to prefer progress updates (and because it's faster).
        let progress = match progress_receiver.recv() {