{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"debug!(\"collect_errors:"}]}
            debug!("collect_errors: verify={:?}", verify);
        for verify in &self.data.verifys {
            let sub = var_data.normalize(self.tcx(), verify.region);