Skip to main content

structurally_normalize_ty

rustc_hir_analysis::coherence::builtin

Function structurally_normalize_ty 

Source 
fn structurally_normalize_ty<'tcx>(
    tcx: TyCtxt<'tcx>,
    infcx: &InferCtxt<'tcx>,
    impl_did: LocalDefId,
    span: Span,
    ty: Unnormalized<'tcx, Ty<'tcx>>,
) -> Option<(Ty<'tcx>, PredicateObligations<'tcx>)>