diff --git a/src/semantic/match.ts b/src/semantic/match.ts
index 23c6fec1..4b6174c3 100644
--- a/src/semantic/match.ts
+++ b/src/semantic/match.ts
@@ -41,6 +41,7 @@ export const checkPattern = (
                 break
             }
             // TODO: check item patterns
+            expr.type = unknownType
             break
         case 'con-pattern':
             if (expectedType.kind !== 'vid-type') {