From 6e19ddc97ac0bf248c1b5d84d5f0ce3b90fe4deb Mon Sep 17 00:00:00 2001
From: hlaaftana <hlaaftana@gmail.com>
Date: Mon, 17 Jan 2022 21:22:42 +0300
Subject: [PATCH] Don't reject types directly on AST

Instead of rejecting type expressions based on node kind,
evaluate the expression as a type.
This is already the behavior for call results, and it has its own error
for non-types, which is the same error you would normally get
with 2 words swapped.
---
 compiler/semtypes.nim    | 6 ++++--
 tests/types/tnontype.nim | 9 +++++++++
 2 files changed, 13 insertions(+), 2 deletions(-)
 create mode 100644 tests/types/tnontype.nim

diff --git a/compiler/semtypes.nim b/compiler/semtypes.nim
index d03fa88a8a24f..b4f385fe615fa 100644
--- a/compiler/semtypes.nim
+++ b/compiler/semtypes.nim
@@ -1993,8 +1993,10 @@ proc semTypeNode(c: PContext, n: PNode, prev: PType): PType =
   of nkStmtListType: result = semStmtListType(c, n, prev)
   of nkBlockType: result = semBlockType(c, n, prev)
   else:
-    localError(c.config, n.info, "type expected, but got: " & renderTree(n))
-    result = newOrPrevType(tyError, prev, c)
+    result = semTypeExpr(c, n, prev)
+    when false:
+      localError(c.config, n.info, "type expected, but got: " & renderTree(n))
+      result = newOrPrevType(tyError, prev, c)
   n.typ = result
   dec c.inTypeContext
 
diff --git a/tests/types/tnontype.nim b/tests/types/tnontype.nim
new file mode 100644
index 0000000000000..4e2bafb326b84
--- /dev/null
+++ b/tests/types/tnontype.nim
@@ -0,0 +1,9 @@
+discard """
+  errormsg: "expected type, but got: 3"
+"""
+
+type
+  Foo = (block:
+    int)
+  
+  Bar = 3