diff --git a/lib/check.ml b/lib/check.ml
index 3f2fcda1..a97daa0a 100644
--- a/lib/check.ml
+++ b/lib/check.ml
@@ -6564,7 +6564,7 @@ and check_the ctx ~want loc (t : Ast.texpr) (v : Ast.expr) =
   end;
   let r =
     match ty, v.Ast.e with
-    | Types.Slice elem, Ast.Arr items ->
+    | Types.Slice (_, elem), Ast.Arr items ->
       check_arr ctx
         ~want:(Some (Types.Array (Int64.of_int (List.length items), elem)))
         v.Ast.loc items