Searched defs:existential_predicates (Results 1 – 4 of 4) sorted by relevance
372 let existential_predicates = tcx.mk_poly_existential_predicates(&v); in conv_object_ty_poly_trait_ref() localVariable
949 let existential_predicates = tcx.mk_poly_existential_predicates_from_iter(iter); in confirm_trait_upcasting_unsize_candidate() localVariable1042 let existential_predicates = tcx.mk_poly_existential_predicates_from_iter(iter); in confirm_builtin_unsize_candidate() localVariable
662 let existential_predicates = tcx.mk_poly_existential_predicates_from_iter( in object_ty_for_trait() localVariable
1113 let existential_predicates = tcx.mk_poly_existential_predicates(&[ty::Binder::dummy( in typeid_for_instance() localVariable