Function rustc_middle::ty::util::normalize_opaque_types

pub fn normalize_opaque_types<'tcx>(
    tcx: TyCtxt<'tcx>, 
    val: &'tcx List<Predicate<'tcx>>
) -> &'tcx List<Predicate<'tcx>>

Normalizes all opaque types in the given value, replacing them with their underlying types.