fixing

examples/tests/invalid/json_values.test.w

@@ -0,0 +1,14 @@
+let arr = MutArray<num>[1, 2, 3];
+arr.push(4);
+
+let map = MutMap<str>{"a" => "1"};
+map.set("b", "2");
+
+let takeJson = (obj: Json) => {
+
+};
+
+takeJson({ values: arr }); 
+//       ^^^^^^^^^^^^^^^ "MutArray<num>" is not a legal JSON value
+takeJson({ values: map }); 
+//       ^^^^^^^^^^^^^^^ "MutMap<str>" is not a legal JSON value

examples/tests/valid/json-types.test.w

@@ -1,5 +1,3 @@
-
-
 let extra = MutArray<Json>["bar"];
 let base = [Json "foo"];
 base.concat(extra.copy());
@@ -11,15 +9,3 @@ let obj = {
   second: ["cool"].concat(base2)
 };
 
-let arr = MutArray<num>[1, 2, 3];
-arr.push(4);
-
-let map = MutMap<str>{"a" => "1"};
-map.set("b", "2");
-
-let takeJson = (obj: Json) => {
-
-};
-
-takeJson({ values: arr });
-takeJson({ values: map });

libs/wingc/src/type_check.rs

@@ -1276,9 +1276,7 @@ impl TypeRef {
 			Type::Boolean => true,
 			Type::MutJson | Type::Json(None) => true,
 			Type::Inferred(..) => true,
-			Type::MutArray(v) => v.is_json_legal_value(),
 			Type::Array(v) => v.is_json_legal_value(),
-			Type::MutMap(v) => v.is_json_legal_value(),
 			Type::Map(v) => v.is_json_legal_value(),
 			Type::Struct(ref s) => {
 				for t in s.fields(true).map(|(_, v)| v.type_) {