rustc_typeck::middle::ty

Traits

AsPredicate HasProjectionTypes ReferencesError RegionEscape ToPolyTraitRef UnboxedClosureTyper

Functions

accumulate_lifetimes_in_type adjust_is_object adjust_ty adjust_ty_for_autoref adjusted_object_region all_builtin_bounds anonymize_late_bound_regions array_element_ty assert_no_late_bound_regions associated_type_parameter_index binds_late_bound_regions can_type_implement_copy close_type construct_parameter_environment count_late_bound_regions deref each_attr each_bound_trait_and_supertraits empty_builtin_bounds empty_parameter_environment enum_is_univariant enum_variant_with_id enum_variants erase_late_bound_regions eval_repeat_count expr_is_lval expr_kind expr_span expr_ty expr_ty_adjusted expr_ty_opt field_idx_strict fn_is_variadic fold_ty free_region_from_def get_tydesc_ty has_attr has_dtor hash_crate_independent impl_of_method impl_or_trait_item impl_or_trait_item_idx impl_trait_ref index is_associated_type is_binopable is_ffi_safe is_fn_ty is_instantiable is_tuple_struct is_type_representable item_path_str item_variances liberate_late_bound_regions local_var_name_str lookup_field_type lookup_item_type lookup_packed lookup_repr_hints lookup_simd lookup_struct_fields lookup_trait_def make_substs_for_receiver_types maybe_walk_ty mk_bare_fn mk_ctor_fn mk_ctxt mk_enum mk_float_var mk_imm_ptr mk_imm_rptr mk_infer mk_int_var mk_mach_float mk_mach_int mk_mach_uint mk_mut_ptr mk_mut_rptr mk_nil mk_nil_ptr mk_open mk_param mk_param_from_def mk_projection mk_ptr mk_rptr mk_self_type mk_slice mk_str mk_str_slice mk_struct mk_t mk_trait mk_tup mk_unboxed_closure mk_uniq mk_var mk_vec named_element_ty node_id_item_substs node_id_to_trait_ref node_id_to_type node_id_to_type_opt note_and_explain_type_err object_region_bounds pat_ty populate_implementations_for_trait_if_necessary populate_implementations_for_type_if_necessary positional_element_ty predicates predicates_for_trait_ref provided_source provided_trait_methods record_trait_implementation region_existential_bound replace_late_bound_regions required_region_bounds resolve_expr sequence_element_type simd_size simd_type sort_bounds_list stmt_node_id struct_fields substd_enum_variants trait_id_of_impl trait_item trait_item_def_ids trait_item_of_item trait_items trait_of_item trait_ref_contains_error trait_ref_to_def_id try_add_builtin_trait try_node_id_to_type tup_fields ty_closure_store ty_dtor ty_fn_abi ty_fn_args ty_fn_ret ty_fn_sig ty_region ty_sort_string ty_to_def_id type_content type_contents type_err_to_str type_escapes_depth type_has_escaping_regions type_has_late_bound_regions type_has_params type_has_projection type_has_self type_has_ty_infer type_interior_is_unsafe type_is_bare_fn type_is_bare_fn_item type_is_bool type_is_c_like_enum type_is_char type_is_empty type_is_error type_is_floating_point type_is_fp type_is_fresh type_is_integral type_is_machine type_is_nil type_is_numeric type_is_region_ptr type_is_scalar type_is_self type_is_signed type_is_simd type_is_sized type_is_structural type_is_trait type_is_ty_var type_is_uint type_is_unique type_is_unsafe_ptr type_is_vec type_moves_by_default type_needs_infer type_needs_subst type_of_adjust type_trait_info unboxed_closure_upvars unopen_type unsize_ty walk_ty with_freevars with_path

rustc_typeck::middle::ty::PolyTraitPredicateUnstable [-] [+] [src]

type PolyTraitPredicate<'tcx> = Binder<TraitPredicate<'tcx>>;