From e53e5476a7dc73e96a877321aba85e1ccb9dae61 Mon Sep 17 00:00:00 2001
From: ringabout <43030857+ringabout@users.noreply.github.com>
Date: Mon, 6 Mar 2023 14:12:47 +0800
Subject: [PATCH] closes #16654; add a test case (#21478)

(cherry picked from commit 4d76725299e524e19d515c04d923bd408607a966)
---
 tests/errmsgs/t16654.nim | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 tests/errmsgs/t16654.nim

diff --git a/tests/errmsgs/t16654.nim b/tests/errmsgs/t16654.nim
new file mode 100644
index 0000000000..749707c069
--- /dev/null
+++ b/tests/errmsgs/t16654.nim
@@ -0,0 +1,12 @@
+discard """
+  cmd: "nim check $options $file"
+  errormsg: "type mismatch: got <int> but expected 'float'"
+"""
+
+when true: # bug #16654
+  func fn[T](a: T, op: proc(a: T): float) = discard
+  proc main() =
+    let v = 1
+    proc bar(r: auto): auto = v
+    fn(1, bar)
+  main()