fix #829 hopefully

flux-rs · Oct 1, 2024 · c4f5b83 · c4f5b83
1 parent 50570df
commit c4f5b83
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/crates/flux-middle/src/rty/projections.rs b/crates/flux-middle/src/rty/projections.rs
@@ -137,7 +137,7 @@ impl<'genv, 'tcx, 'cx> Normalizer<'genv, 'tcx, 'cx> {
         Ok((true, ty))
     }
 
-    // See issue-808.rs for an example of what this function is for.
+    // See issue-829.rs for an example of what this function is for.
     fn resolve_projection_predicates(
         &mut self,
         subst: &mut TVarSubst,

diff --git a/tests/tests/pos/surface/issue-808.rs → tests/tests/pos/surface/issue-829.rs b/tests/tests/pos/surface/issue-808.rs → tests/tests/pos/surface/issue-829.rs