{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"tcx,"}]}
            tcx,
        let predicate = predicate.fold_with(&mut BottomUpFolder {
            ty_op: |ty| if ty == opaque_ty { hidden_ty } else { ty },