Add challenge

Author: laike9m

challenges/advanced-forward/question.py

@@ -0,0 +1,16 @@
+class MyClass:
+    def __init__(self, x: int) -> None:
+        self.x = x
+
+    # TODO: Fix the type hints of `copy` to make it type check
+    def copy(self) -> MyClass:
+        copied_object = MyClass(x=self.x)
+        return copied_object
+
+
+## End of your code ##
+
+from typing import assert_type
+
+inst = MyClass(x=1)
+assert_type(inst.copy(), MyClass)

challenges/advanced-forward/solution.py

@@ -0,0 +1,16 @@
+class MyClass:
+    def __init__(self, x: int) -> None:
+        self.x = x
+
+    # TODO: Fix the type hints of `copy` to make it type check
+    def copy(self) -> "MyClass":
+        copied_object = MyClass(x=self.x)
+        return copied_object
+
+
+## End of your code ##
+
+from typing import assert_type
+
+inst = MyClass(x=1)
+assert_type(inst.copy(), MyClass)

challenges/advanced-never2/question.py

@@ -3,3 +3,9 @@
 
 def stop() -> Never:
     """TODO: implement this function to make it type check"""
+
+
+## End of your code ##
+from typing import assert_never
+
+assert_never(stop())

challenges/advanced-never2/solution.py

@@ -4,3 +4,9 @@
 def stop() -> Never:
     """TODO: implement this function to make it type check"""
     raise RuntimeError("")
+
+
+## End of your code ##
+from typing import assert_never
+
+assert_never(stop())