Function inhabited_predicate_adt

fn inhabited_predicate_adt(
    tcx: TyCtxt<'_>,
    def_id: DefId,
) -> InhabitedPredicate<'_>

Returns an InhabitedPredicate that is generic over type parameters and requires calling InhabitedPredicate::instantiate