From 5bed375b5298fb5977650d21dc6d63c86ecfe096 Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Thu, 2 Sep 2021 17:15:11 +0200
Subject: [PATCH] fixes #16325 [backport:1.4] (#18784)

(cherry picked from commit a7cae2bda24871c55348173816a43144b9e668a5)
---
 compiler/sigmatch.nim                         |  3 +--
 .../tproc_types_dont_like_subtypes.nim        | 20 +++++++++++++++++++
 2 files changed, 21 insertions(+), 2 deletions(-)
 create mode 100644 tests/overload/tproc_types_dont_like_subtypes.nim

diff --git a/compiler/sigmatch.nim b/compiler/sigmatch.nim
index aa264745c5..2ccad973b3 100644
--- a/compiler/sigmatch.nim
+++ b/compiler/sigmatch.nim
@@ -614,8 +614,7 @@ proc procParamTypeRel(c: var TCandidate, f, a: PType): TTypeRelation =
     # if f is metatype.
     result = typeRel(c, f, a)
 
-  #               v--- is this correct?
-  if result <= isIntConv or inconsistentVarTypes(f, a):
+  if result <= isSubrange or inconsistentVarTypes(f, a):
     result = isNone
 
   #if result == isEqual:
diff --git a/tests/overload/tproc_types_dont_like_subtypes.nim b/tests/overload/tproc_types_dont_like_subtypes.nim
new file mode 100644
index 0000000000..d322f41bed
--- /dev/null
+++ b/tests/overload/tproc_types_dont_like_subtypes.nim
@@ -0,0 +1,20 @@
+discard """
+  errormsg: "got <B, proc (b: B){.closure, gcsafe, locks: 0.}>"
+  line: 20
+"""
+
+type
+  A = ref object of RootObj
+  B = ref object of A
+
+  P = proc (a: A)
+
+# bug #16325
+
+proc doThings(a: A, p: P) =
+  p(a)
+
+var x = proc (b: B) {.closure.} =
+  echo "B"
+
+doThings(B(), x)