Merge branch 'main' into son/source

AeneasVerif · Oct 2, 2024 · e595921 · e595921
2 parents c37fa60 + c139608
commit e595921
Show file tree

Hide file tree

Showing 3 changed files with 455 additions and 67 deletions.
diff --git a/charon/src/bin/charon-driver/translate/translate_functions_to_ullbc.rs b/charon/src/bin/charon-driver/translate/translate_functions_to_ullbc.rs
@@ -1279,7 +1279,7 @@ impl<'tcx, 'ctx, 'ctx1> BodyTransCtx<'tcx, 'ctx, 'ctx1> {
                         // `false`. It will be consumed by the next round of `batching`.
                         .peeking_take_while(|(_, opt_comment)| opt_comment.is_some())
                         .map(|(_, opt_comment)| opt_comment.unwrap())
-                        .map(str::trim_start)
+                        .map(|s| s.strip_prefix(" ").unwrap_or(s))
                         .map(str::to_owned)
                         .collect_vec();
                     comments.reverse();