From 7c359a062c17696aab5dd5b75d595af0596c001c Mon Sep 17 00:00:00 2001
From: Clyybber <darkmine956@gmail.com>
Date: Thu, 22 Oct 2020 12:51:03 +0200
Subject: [PATCH] Add testcase for #12252 (#15676)

---
 tests/defaultprocparam/tdefaultprocparam.nim | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tests/defaultprocparam/tdefaultprocparam.nim b/tests/defaultprocparam/tdefaultprocparam.nim
index 0d62cc955..90edfa8c9 100644
--- a/tests/defaultprocparam/tdefaultprocparam.nim
+++ b/tests/defaultprocparam/tdefaultprocparam.nim
@@ -81,3 +81,10 @@ block:
   echo p3(a)
   echo p3(b)
   echo p3(a, 0)
+
+# bug #12252
+proc foo(a = 0, b = a.high, c = high(typeof(a))) = 
+  discard
+
+foo()
+