{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"self.send(FlycheckMessage::Progress"}]}
        self.send(FlycheckMessage::Progress { id: self.id, progress });
    fn report_progress(&self, progress: Progress) {
    }