fix(rengine): document TODO, link to issue

W95Psp · web-flow · commit f9dae864626a · 2025-06-24T11:17:38.000+02:00
diff --git a/rust-printer/src/ast/span.rs b/rust-printer/src/ast/span.rs
@@ -35,7 +35,7 @@ impl From<hax_frontend_exporter::Span> for Span {
         Self {
             data: vec![span],
             id: fresh_id(),
-            owner_hint: None, // TODO: Have something there when we implement the importer
+            owner_hint: None, // TODO: this will be defined properly while addressing issue #1524
         }
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -35,7 +35,7 @@ impl From<hax_frontend_exporter::Span> for Span {`
`35`	`35`	`Self {`
`36`	`36`	`data: vec![span],`
`37`	`37`	`id: fresh_id(),`
`38`		`- owner_hint: None, // TODO: Have something there when we implement the importer`
	`38`	`+ owner_hint: None, // TODO: this will be defined properly while addressing issue #1524`
`39`	`39`	`}`
`40`	`40`	`}`
`41`	`41`	`}`