Mention issue name

cryspen · Apr 29, 2024 · cc8a3f7 · cc8a3f7
1 parent 363be26
commit cc8a3f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: _,