{"ast_node_type":"variable","tokens":[{"end":19,"kind":"keyword","start":0,"text":"let"}]}
        let infcx_;
        // We do need a local variable to store it, though.
        let infcx = if let Some(infcx) = self.infcx() {