{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"Ok(c)"}]}
                    Ok(c) => {
                match self.infcx.unwrap().probe_const_var(vid) {
                        debug!("(resolved to {:?})", c);