diff --git a/spec/Section 3 -- Type System.md b/spec/Section 3 -- Type System.md index 00bbb8e49..f957f6d86 100644 --- a/spec/Section 3 -- Type System.md +++ b/spec/Section 3 -- Type System.md @@ -1489,8 +1489,9 @@ Expected Type | Provided Value | Coerced Value `[Int]` | `[1, "b", true]` | Error: Incorrect item value `[Int]` | `1` | `[1]` `[Int]` | `null` | `null` -`[[Int]]` | `[[1], [2, 3]]` | `[[1], [2, 3]` -`[[Int]]` | `[1, 2, 3]` | Error: Incorrect item value +`[[Int]]` | `[[1], [2, 3]]` | `[[1], [2, 3]]` +`[[Int]]` | `[1, 2, 3]` | `[[1], [2], [3]]` +`[[Int]]` | `[1, null, 3]` | `[[1], null, [3]]` `[[Int]]` | `1` | `[[1]]` `[[Int]]` | `null` | `null`