{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"if"}]}
    if let ty::RegionKind::ReBound(depth, br) = verify_if_eq.bound.kind() {
        assert!(depth == ty::INNERMOST);