{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":")"}]}
    ) {
        err: &mut Diag<'infcx>,
        let var_info = self.body.var_debug_info.iter().find(|info| match info.value {