Feat: Enhance advanced-type challenge with typevar and enforcing return type.

Author: stewartHutchins

challenges/advanced-type/question.py

@@ -5,11 +5,13 @@
 """
 
 
-def make_object(cls):
-    return cls()
+def make_object(cls): ...
 
 
 ## End of your code ##
+from typing import assert_type
+
+
 class MyClass:
     pass
 
@@ -18,8 +20,9 @@ def f():
     pass
 
 
-c = make_object(MyClass)
-c = make_object(int)
-c = make_object(f)  # expect-type-error
-c = make_object("sss")  # expect-type-error
-c = make_object(["sss"])  # expect-type-error
+assert_type(make_object(MyClass), MyClass)
+assert_type(make_object(int), int)
+
+make_object(f)  # expect-type-error
+make_object("sss")  # expect-type-error
+make_object(["sss"])  # expect-type-error

challenges/advanced-type/solution.py

@@ -4,14 +4,13 @@
 `make_object` takes a class returns an instance of it.
 """
 
-from typing import Any
+def make_object[T](cls: type[T]) -> T: ...
 
 
-def make_object(cls: type[Any]):
-    return cls()
+## End of your code ##
+from typing import assert_type
 
 
-## End of your code ##
 class MyClass:
     pass
 
@@ -20,8 +19,9 @@ def f():
     pass
 
 
-c = make_object(MyClass)
-c = make_object(int)
-c = make_object(f)  # expect-type-error
-c = make_object("sss")  # expect-type-error
-c = make_object(["sss"])  # expect-type-error
+assert_type(make_object(MyClass), MyClass)
+assert_type(make_object(int), int)
+
+make_object(f)  # expect-type-error
+make_object("sss")  # expect-type-error
+make_object(["sss"])  # expect-type-error