Skip to main content

validate_coerce_shared_field

rustc_hir_analysis::coherence::builtin::coerce_shared

Function validate_coerce_shared_field 

Source 
fn validate_coerce_shared_field<'tcx>(
    infcx: &InferCtxt<'tcx>,
    impl_did: LocalDefId,
    param_env: ParamEnv<'tcx>,
    coerce_shared_trait: DefId,
    trait_name: &'static str,
    span: Span,
    diagnostic_context: CoerceSharedDiagnosticContext,
    source: ReborrowDataField<'tcx>,
    target: ReborrowDataField<'tcx>,
) -> Result<(), ErrorGuaranteed>