Function reveal_opaque_types_in_bounds

pub fn reveal_opaque_types_in_bounds<'tcx>(
    tcx: TyCtxt<'tcx>,
    val: Clauses<'tcx>,
) -> Clauses<'tcx>

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