Use Tuple/Dict for more precise parameter types

Author: sharkdp

crates/red_knot_python_semantic/resources/mdtest/call/builtins.md

@@ -51,8 +51,8 @@ class Base: ...
 # error: [no-matching-overload] "No overload of class `type` matches arguments"
 type(b"Foo", (), {})
 
-# TODO: this should be an error
-type("Foo", str, {})
+# error: [no-matching-overload] "No overload of class `type` matches arguments"
+type("Foo", Base, {})
 
 # TODO: this should be an error
 type("Foo", (1, 2), {})

crates/red_knot_python_semantic/src/types.rs

@@ -2907,10 +2907,10 @@ impl<'db> Type<'db> {
                                         .with_annotated_type(KnownClass::Str.to_instance(db)),
                                     Parameter::positional_only(Some(Name::new_static("bases")))
                                         // TODO: Should be tuple[type, ...] once we have support for homogenous tuples
-                                        .with_annotated_type(Type::any()),
+                                        .with_annotated_type(KnownClass::Tuple.to_instance(db)),
                                     Parameter::positional_only(Some(Name::new_static("dict")))
                                         // TODO: Should be `dict[str, Any]` once we have support for generics
-                                        .with_annotated_type(Type::any()),
+                                        .with_annotated_type(KnownClass::Dict.to_instance(db)),
                                 ]),
                                 Some(KnownClass::Type.to_instance(db)),
                             ),