From 0b6c028fd4be048bde9369b870e6fe4b80577886 Mon Sep 17 00:00:00 2001
From: Martin Fischer <martin@push-f.com>
Date: Sun, 20 Feb 2022 12:55:32 +0100
Subject: publish

---
 puzzles/tricky_typevar_constrained.py | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 puzzles/tricky_typevar_constrained.py

(limited to 'puzzles/tricky_typevar_constrained.py')

diff --git a/puzzles/tricky_typevar_constrained.py b/puzzles/tricky_typevar_constrained.py
new file mode 100644
index 0000000..50ce10a
--- /dev/null
+++ b/puzzles/tricky_typevar_constrained.py
@@ -0,0 +1,9 @@
+from typing import TypeVar, Any, Union
+
+V = TypeVar("V", str, bytes)
+
+def check_v(x: Union[V, list[V]]) -> V:
+    raise NotImplementedError()
+
+def foo(a: list[Any]):
+    check_v(a)
-- 
cgit v1.2.3