From 97d2b805627c9e5a1e5cf6e22f85e73c1043436b Mon Sep 17 00:00:00 2001
From: unknown <crc32@qq.com>
Date: Tue, 20 Sep 2022 15:34:09 +0800
Subject: [PATCH] report expression has no type other than has to be used (or
 discarded) when typ is tyNone in discardCheck

---
 compiler/semstmts.nim   | 3 +++
 tests/errmsgs/t8064.nim | 6 ++++++
 2 files changed, 9 insertions(+)
 create mode 100644 tests/errmsgs/t8064.nim

diff --git a/compiler/semstmts.nim b/compiler/semstmts.nim
index 64d56f81291e8..1e8930fc9b899 100644
--- a/compiler/semstmts.nim
+++ b/compiler/semstmts.nim
@@ -139,6 +139,9 @@ proc discardCheck(c: PContext, result: PNode, flags: TExprFlags) =
       var n = newNodeI(nkDiscardStmt, result.info, 1)
       n[0] = result
     elif result.typ.kind != tyError and c.config.cmd != cmdInteractive:
+      if result.typ.kind == tyNone:
+        localError(c.config, result.info, "expression has no type: " &
+               renderTree(result, {renderNoComments}))
       var n = result
       while n.kind in skipForDiscardable:
         if n.kind == nkTryStmt: n = n[0]
diff --git a/tests/errmsgs/t8064.nim b/tests/errmsgs/t8064.nim
new file mode 100644
index 0000000000000..10bb862993889
--- /dev/null
+++ b/tests/errmsgs/t8064.nim
@@ -0,0 +1,6 @@
+discard """
+  errormsg: "expression has no type: values"
+"""
+import tables
+
+values
\ No newline at end of file