Function rustc_middle::ty::util::reveal_opaque_types_in_bounds

source · 
pub fn reveal_opaque_types_in_bounds<'tcx>(
    tcx: TyCtxt<'tcx>,
    val: &'tcx List<Clause<'tcx>>
) -> &'tcx List<Clause<'tcx>>
Expand description

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