Function reveal_opaque_types_in_bounds 

pub(crate) fn reveal_opaque_types_in_bounds<'tcx>() -> DepKindStruct<'tcx>