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