move comment

FrankBro · Jan 14, 2024 · 561daaa · 561daaa
1 parent d8bda35
commit 561daaa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/infer.rs b/src/infer.rs
@@ -598,8 +598,8 @@ impl Env {
         Ok(expr)
     }
 
-    // TODO: I got lazy here, make this more efficient
     fn sanitize_types(&self, expr: &mut ExprTypedAt) -> Result<()> {
+        // TODO: I got lazy here, make this more efficient
         expr.context.ty.ty = self.real_ty(expr.context.ty.ty.clone())?;
         match expr.expr.as_mut() {
             Expr::Bool(_) => Ok(()),