Test for record constructor is not typechecked

Summary: Adding a test for bootcamper to know what to fix.

Reviewed By: JakobDegen

Differential Revision: D55549122

fbshipit-source-id: 2f09c6c45e24a629506e435168009d9ece55d1a3

starlark/src/values/types/record/record_type.rs

@@ -328,7 +328,8 @@ where
                 TypeInstanceId::gen(),
                 TyUserParams {
                     callable: Some(TyCallable::new(
-                        // TODO(nga): more precise parameter types.
+                        // TODO(nga): more precise parameter types
+                        //   https://www.internalfb.com/tasks/?t=184025179
                         ParamSpec::new(vec![Param::kwargs(Ty::any())]),
                         ty_record.dupe(),
                     )),

starlark/src/values/types/record/ty_record_type.rs

@@ -121,4 +121,17 @@ def f(rec: MyRec) -> int:
             r#"The attribute `z` is not available on the type `MyRec`"#,
         );
     }
+
+    #[test]
+    fn test_typecheck_record_type_call() {
+        // TODO(nga): this should fail.
+        assert::pass(
+            r#"
+MyRec = record(x = int)
+
+def test():
+    MyRec(x = "")
+"#,
+        );
+    }
 }