From cc8a3f7bea47aa71b46a2799f2de7c2e4a28b870 Mon Sep 17 00:00:00 2001
From: Nadrieril <nadrieril+git@gmail.com>
Date: Mon, 29 Apr 2024 13:15:37 +0200
Subject: [PATCH] Mention issue name

---
 frontend/exporter/src/constant_utils.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/exporter/src/constant_utils.rs b/frontend/exporter/src/constant_utils.rs
index 16adf78cf..ed04a4d4c 100644
--- a/frontend/exporter/src/constant_utils.rs
+++ b/frontend/exporter/src/constant_utils.rs
@@ -153,7 +153,7 @@ impl From<ConstantExpr> for Expr {
                 base: None,
                 user_ty: None,
             }),
-            // TODO: propagate the generics and trait refs
+            // TODO: propagate the generics and trait refs (see #636)
             GlobalName {
                 id,
                 generics: _,