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