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.