fix from_type(type) regression

Author: Zac-HD

hypothesis-python/RELEASE.rst

@@ -0,0 +1,4 @@
+RELEASE_TYPE: patch
+
+This patch restores diversity to the outputs of
+:func:`from_type(type) <hypothesis.strategies.from_type>` (:issue:`4144`).

hypothesis-python/src/hypothesis/strategies/_internal/types.py

@@ -822,9 +822,7 @@ def really_inner(thing):
 @register("Type")
 @register("Type", module=typing_extensions)
 def resolve_Type(thing):
-    if getattr(thing, "__args__", None) is None:
-        return st.just(type)
-    elif get_args(thing) == ():  # pragma: no cover
+    if getattr(thing, "__args__", None) is None or get_args(thing) == ():
         return _fallback_type_strategy
     args = (thing.__args__[0],)
     if is_a_union(args[0]):

hypothesis-python/tests/nocover/test_from_type_recipe.py

@@ -11,6 +11,8 @@
 from hypothesis import given, strategies as st
 from hypothesis.strategies._internal.types import _global_type_lookup
 
+from tests.common.debug import find_any
+
 TYPES = sorted(
     (
         x
@@ -39,3 +41,7 @@ def everything_except(excluded_types):
 def test_recipe_for_everything_except(excluded_types, data):
     value = data.draw(everything_except(excluded_types))
     assert not isinstance(value, excluded_types)
+
+
+def test_issue_4144_regression():
+    find_any(everything_except(()), lambda t: t is not type)