{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"assert!(depth"}]}
        assert!(depth == ty::INNERMOST);
    if let ty::RegionKind::ReBound(depth, br) = verify_if_eq.bound.kind() {
        match m.map.get(&br) {