From 80df21d9a368b0ad40f6c36b898861e75926b732 Mon Sep 17 00:00:00 2001
From: Timothee Cour <timothee.cour2@gmail.com>
Date: Fri, 23 Apr 2021 14:22:04 -0700
Subject: [PATCH] `--declaredlocs` now shows location for `T` instead of
 `static` in `proc fn(a: static T)` (#17795)

---
 compiler/types.nim | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/compiler/types.nim b/compiler/types.nim
index ba2cc76ce..b57e46444 100644
--- a/compiler/types.nim
+++ b/compiler/types.nim
@@ -131,7 +131,10 @@ proc addDeclaredLocMaybe*(result: var string, conf: ConfigRef; sym: PSym) =
     addDeclaredLoc(result, conf, sym)
 
 proc addDeclaredLoc*(result: var string, conf: ConfigRef; typ: PType) =
-  let typ = typ.skipTypes(abstractInst - {tyRange})
+  # xxx figure out how to resolve `tyGenericParam`, e.g. for
+  # proc fn[T](a: T, b: T) = discard
+  # fn(1.1, "a")
+  let typ = typ.skipTypes(abstractInst + {tyStatic} - {tyRange})
   result.add " [$1" % typ.kind.toHumanStr
   if typ.sym != nil:
     result.add " declared in " & toFileLineCol(conf, typ.sym.info)