{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"}));"}]}
                }));
                    !matches!(pred.skip_binder(), ty::ExistentialPredicate::AutoTrait(..))
            Ty::new_dynamic(tcx, filtered_preds, *lifetime, *kind)