Update charon submodule increment 7

Advances charon by 16 commits with pass reorganization and CFG improvements.

API changes: Statement and Terminator gained comments_before field (Vec<String>).

Updated both Statement and Terminator construction sites.

Progress: 62 of 1034 commits.

Author: tautschnig

Cargo.lock

@@ -257,7 +257,7 @@ checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
 
 [[package]]
 name = "charon"
-version = "0.1.64"
+version = "0.1.65"
 dependencies = [
  "annotate-snippets",
  "anstream",

charon

@@ -1492,7 +1492,7 @@ impl<'a, 'tcx> Context<'a, 'tcx> {
         };
         if let Some(content) = content {
             let span = self.translate_span(stmt.span);
-            return Some(CharonStatement { span, content });
+            return Some(CharonStatement { span, content, comments_before: Vec::new() });
         };
         None
     }
@@ -1563,8 +1563,12 @@ impl<'a, 'tcx> Context<'a, 'tcx> {
             _ => todo!(),
         };
         (
-            statement.map(|statement| CharonStatement { span, content: statement }),
-            CharonTerminator { span, content: terminator },
+            statement.map(|statement| CharonStatement {
+                span,
+                content: statement,
+                comments_before: Vec::new(),
+            }),
+            CharonTerminator { span, content: terminator, comments_before: Vec::new() },
         )
     }