Skip to main content

structurally_normalize_ty

hir_ty::autoderef

Function structurally_normalize_ty 

Source 
fn structurally_normalize_ty<'db>(
    infcx: &InferCtxt<'db>,
    param_env: ParamEnv<'db>,
    ty: Ty<'db>,
    span: Span,
) -> Option<(Ty<'db>, Vec<Obligation<'db, Predicate<'db>>>)>