pub(crate) fn inhabited_predicate_adt<'tcx>(
    
) -> DynamicQuery<'tcx, Storage<'tcx>>