Change origin of _BoolLiteral to Literal.

Author: dnwpark

typemap/type_eval/_eval_operators.py

@@ -275,21 +275,6 @@ def _eval_Bool(tp, *, ctx):
     return _eval_bool_tp(tp, ctx)
 
 
-@type_eval.register_evaluator(_BoolLiteral)
-@_lift_evaluated
-def _eval_BoolLiteral(tp, *, ctx):
-    from typemap.typing import _BoolLiteralGenericAlias
-
-    if isinstance(tp, type):
-        raise TypeError(f"Expected literal type, got '{tp.__name__}'")
-
-    # If already wrapped, just return it
-    if isinstance(tp, _BoolLiteralGenericAlias):
-        return tp
-
-    return _BoolLiteral[tp]
-
-
 ##################################################################
 
 

typemap/type_eval/_typing_inspect.py

@@ -132,9 +132,7 @@ def is_optional_type(t: Any) -> TypeGuard[UnionType]:
 
 
 def is_literal(t: Any) -> bool:
-    from typemap.typing import _BoolLiteral
-
-    return is_generic_alias(t) and get_origin(t) in (Literal, _BoolLiteral)
+    return is_generic_alias(t) and get_origin(t) is Literal  # type: ignore [comparison-overlap]
 
 
 def get_head(t: Any) -> type | None:

typemap/typing.py

@@ -307,4 +307,11 @@ def __bool__(self):
 
 @_SpecialForm
 def _BoolLiteral(self, tp):
-    return _BoolLiteralGenericAlias(self, tp)
+    if isinstance(tp, type):
+        raise TypeError(f"Expected literal type, got '{tp.__name__}'")
+
+    # If already wrapped, just return it
+    if isinstance(tp, _BoolLiteralGenericAlias):
+        return tp
+
+    return _BoolLiteralGenericAlias(Literal, tp)