Fix breakage because we produce unhashable staticmethod/classmethod (#18)

Fix it for now by wrapping the list in a tuple[].
I need to think about what is actually right here.

Author: msullivan

tests/test_type_dir.py

@@ -346,7 +346,7 @@ def test_type_members_func_2():
     assert (
         str(typ)
         == "\
-classmethod[tests.test_type_dir.Final, [typemap.typing.Param[typing.Literal['a'], int | None, typing.Never], typemap.typing.Param[typing.Literal['b'], ~K, typing.Never]], dict[str, int]]"
+classmethod[tests.test_type_dir.Final, tuple[typemap.typing.Param[typing.Literal['a'], int | None, typing.Never], typemap.typing.Param[typing.Literal['b'], ~K, typing.Never]], dict[str, int]]"
     )
 
 
@@ -361,5 +361,5 @@ def test_type_members_func_3():
     assert (
         str(typ)
         == "\
-staticmethod[[typemap.typing.Param[typing.Literal['a'], int | typing.Literal['gotcha!'] | Z | None, typing.Never], typemap.typing.Param[typing.Literal['b'], ~K, typing.Never]], dict[str, int | Z]]"
+staticmethod[tuple[typemap.typing.Param[typing.Literal['a'], int | typing.Literal['gotcha!'] | Z | None, typing.Never], typemap.typing.Param[typing.Literal['b'], ~K, typing.Never]], dict[str, int | Z]]"
     )

typemap/type_eval/_eval_operators.py

@@ -229,10 +229,12 @@ def _ann(x):
 
     ret = _ann(sig.return_annotation)
 
+    # TODO: Is doing the tuple for staticmethod/classmethod legit?
+    # Putting a list in makes it unhashable...
     if isinstance(func, staticmethod):
-        return staticmethod[params, ret]
+        return staticmethod[tuple[*params], ret]
     elif isinstance(func, classmethod):
-        return classmethod[specified_receiver, params[1:], ret]
+        return classmethod[specified_receiver, tuple[*params[1:]], ret]
     else:
         return typing.Callable[params, ret]
 

typemap/type_eval/_eval_typing.py

@@ -174,7 +174,7 @@ def _child_context() -> typing.Iterator[EvalContext]:
 def eval_typing(obj: typing.Any):
     with _ensure_context() as ctx:
         result = _eval_types(obj, ctx)
-        if result in ctx.known_recursive_types:
+        if not isinstance(result, list) and result in ctx.known_recursive_types:
             result = ctx.known_recursive_types[result]
         return result