From 40b5c4c4c340d44ee724183306716286e40002cb Mon Sep 17 00:00:00 2001
From: Bung <crc32@qq.com>
Date: Wed, 21 Dec 2022 03:23:48 +0800
Subject: [PATCH] fix #20248;fix #6215;turns into simple CT error (#21141)

---
 compiler/semtypes.nim  |  2 ++
 tests/array/t20248.nim | 14 ++++++++++++++
 2 files changed, 16 insertions(+)
 create mode 100644 tests/array/t20248.nim

diff --git a/compiler/semtypes.nim b/compiler/semtypes.nim
index dca0d753b79c..534861e97285 100644
--- a/compiler/semtypes.nim
+++ b/compiler/semtypes.nim
@@ -328,6 +328,8 @@ proc semRange(c: PContext, n: PNode, prev: PType): PType =
 proc semArrayIndex(c: PContext, n: PNode): PType =
   if isRange(n):
     result = semRangeAux(c, n, nil)
+  elif n.kind == nkInfix and n[0].kind == nkIdent and n[0].ident.s == "..<":
+    result = errorType(c)
   else:
     let e = semExprWithType(c, n, {efDetermineType})
     if e.typ.kind == tyFromExpr:
diff --git a/tests/array/t20248.nim b/tests/array/t20248.nim
new file mode 100644
index 000000000000..66142548b95b
--- /dev/null
+++ b/tests/array/t20248.nim
@@ -0,0 +1,14 @@
+discard """
+cmd: "nim check --hints:off $file"
+errormsg: "ordinal type expected; given: Error Type"
+nimout: '''
+t20248.nim(10, 36) Error: ordinal type expected; given: Error Type
+t20248.nim(14, 20) Error: ordinal type expected; given: Error Type
+'''
+"""
+
+type Vec[N: static[int]] = array[0 ..< N, float]
+
+var v: Vec[32]
+
+var stuff: array[0 ..< 16, int]