{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"debug!(\"check_cast({},"}]}
        debug!("check_cast({}, {:?} as {:?})", self.expr.hir_id, self.expr_ty, self.cast_ty);