From c0db4ed95908c0774815da22d4e810c2a5a7a266 Mon Sep 17 00:00:00 2001 From: Martin Fischer Date: Thu, 24 Feb 2022 08:03:07 +0100 Subject: prefix numbers to puzzles --- puzzles/50_typevar_constrained.py | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 puzzles/50_typevar_constrained.py (limited to 'puzzles/50_typevar_constrained.py') diff --git a/puzzles/50_typevar_constrained.py b/puzzles/50_typevar_constrained.py new file mode 100644 index 0000000..50ce10a --- /dev/null +++ b/puzzles/50_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