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