Skip to main content

Module coerce_shared

rustc_hir_analysis::coherence::builtin

Module coerce_shared 

Source

Re-exports§

use rustc_attr_ir::lang_items::LangItem; 🔒
use rustc_errors::ErrorGuaranteed; 🔒
use rustc_hir as hir; 🔒
use rustc_hir::ItemKind; 🔒
use rustc_hir::def_id::DefId; 🔒
use rustc_hir::def_id::LocalDefId; 🔒
use rustc_infer::infer::DefineOpaqueTypes; 🔒
use rustc_infer::infer::InferCtxt; 🔒
use rustc_infer::infer::SubregionOrigin; 🔒
use rustc_infer::infer::TyCtxtInferExt; 🔒
use rustc_infer::traits::Obligation; 🔒
use rustc_infer::traits::TraitErrors; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::Ty; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use rustc_middle::ty::TypeVisitableExt; 🔒
use rustc_middle::ty::TypingMode; 🔒
use rustc_middle::ty::Unnormalized; 🔒
use rustc_span::Span; 🔒
use rustc_trait_selection::error_reporting::InferCtxtErrorExt; 🔒
use rustc_trait_selection::traits; 🔒
use rustc_trait_selection::traits::ObligationCtxt; 🔒
use tracing::debug; 🔒
use super::ReborrowDataField; 🔒
use super::assert_field_type_is_copy; 🔒
use super::collect_reborrow_data_fields; 🔒
use super::field_type_is_copy; 🔒
use super::field_type_is_reborrow; 🔒
use super::trait_impl_lifetime_params_count; 🔒
use crate::coherence::builtin::generic_lifetime_params_count; 🔒
use crate::diagnostics; 🔒

Structs§

CoerceSharedDiagnosticContext 🔒
CoerceSharedFieldPair 🔒
CoerceSharedFields 🔒

Enums§

CoerceSharedFieldPairError 🔒
CoerceSharedTypeRole 🔒
FieldRelation 🔒

Functions§

coerce_shared_diagnostic_context 🔒
coerce_shared_info 🔒
coerce_shared_target_ty_from_path 🔒
collect_coerce_shared_field_pairs 🔒
emit_coerce_shared_field_mismatch 🔒
field_tys_satisfy_relation_after_normalization_and_resolution 🔒
first_explicit_impl_lifetime_param_span 🔒
first_explicit_lifetime_span 🔒
first_explicit_lifetime_span_in_ambig_ty 🔒
first_explicit_lifetime_span_in_bounds 🔒
first_explicit_lifetime_span_in_generic_args 🔒
first_explicit_lifetime_span_in_path 🔒
first_explicit_lifetime_span_in_path_segment 🔒
first_explicit_lifetime_span_in_qpath 🔒
first_explicit_lifetime_span_in_ty 🔒
non_zst_reborrow_data_fields 🔒
validate_coerce_shared_field 🔒
validate_coerce_shared_fields 🔒
validate_coerce_shared_fields_are_memcpy_compatible 🔒
validate_coerce_shared_unpaired_source_field 🔒
validate_field_tys_satisfy_coerce_shared_relation 🔒
validate_reborrow_field_access 🔒