Update some code snippets in the comments so that they are not run as…

… tests

charon/src/reorder_decls.rs

@@ -194,7 +194,7 @@ pub struct Deps {
     ///
     ///
     /// For instance, the problem happens if in Rust we have:
-    /// ```
+    /// ```text
     /// pub trait WithConstTy {
     ///     type W;
     ///     fn f(x: &mut Self::W);
@@ -208,7 +208,7 @@ pub struct Deps {
     ///
     /// In LLBC we get:
     ///
-    /// ```
+    /// ```text
     /// impl traits::Bool::0 : traits::WithConstTy<bool>
     /// {
     ///     type W = u64 with []

charon/src/translate_ctx.rs

@@ -216,7 +216,7 @@ pub(crate) struct BodyTransCtx<'tcx, 'ctx, 'ctx1> {
     /// the variables inside the group.
     ///
     /// For instance, we have the following:
-    /// ```
+    /// ```text
     ///                     we compute the De Bruijn indices from here
     ///                            VVVVVVVVVVVVVVVVVVVVVVV
     /// fn f<'a, 'b>(x: for<'c> fn(&'a u8, &'b u16, &'c u32) -> u64) {}