Merge branch 'pr-2217' into update-test

Author: Verus CI Bot

source/builtin_macros/src/syntax.rs

@@ -2809,6 +2809,14 @@ impl Visitor {
             return false;
         };
 
+        if self.rustdoc && self.inside_const {
+            let Expr::Assert(assert) = take_expr(expr) else { unreachable!() };
+            let span = assert.assert_token.span;
+            let attrs = assert.attrs;
+            *expr = quote_verbatim!(span, attrs => ());
+            return true;
+        }
+
         self.inside_ghost += 1;
         self.visit_expr_with_arith(expr, InsideArith::None);
         self.inside_ghost -= 1;