{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"));"}]}
        ));
            ty::List::empty(),
        let predicates = tcx.mk_poly_existential_predicates(&[ty::Binder::dummy(predicate)]);