bad example

szabgab · Dec 14, 2024 · 3130c89 · 3130c89
1 parent ca5896c
commit 3130c89
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/python/examples/python-types-at-pyweb-2024-12/generics_two_types.py b/python/examples/python-types-at-pyweb-2024-12/generics_two_types.py
@@ -0,0 +1,6 @@
+def the_same[T](x: T, y: T) -> None:
+    print(x, y)
+
+the_same(2, 2)
+the_same("hi", "hi")
+the_same("hi", 2)
diff --git a/python/python-types-at-pyweb-2024-12.md b/python/python-types-at-pyweb-2024-12.md
@@ -301,4 +301,11 @@ Found 1 error in 1 file (checked 1 source file)
 ```
 
 
+## Two variables of the same and different types
+{id: python-types-at-pyweb-2024-12-same-and-different-types}
+
+TODO: Why is mypy accepting this?
+
+![](examples/python-types-at-pyweb-2024-12/generics_two_types.py)
+