clippy: box some Stmts to make error enums smaller

Author: Philipp15b

src/intrinsic/annotations.rs

@@ -33,7 +33,7 @@ pub enum AnnotationError {
     NotOnWhile {
         span: Span,
         annotation_name: Ident,
-        annotated: Stmt,
+        annotated: Box<Stmt>,
     },
     WrongArgument {
         span: Span,

src/mc/mod.rs

@@ -46,12 +46,18 @@ pub enum JaniConversionError {
     UnsupportedPre(Expr),
     UnsupportedAssume(Expr),
     UnsupportedAssert(Expr),
-    UnsupportedHavoc { stmt: Stmt, can_eliminate: bool },
+    UnsupportedHavoc {
+        stmt: Box<Stmt>,
+        can_eliminate: bool,
+    },
     UnsupportedInftyPost(Expr),
     NondetSelection(Span),
     MismatchedDirection(Span),
     UnsupportedCall(Span, Ident),
-    UnsupportedCalculus { proc: Ident, calculus: Ident },
+    UnsupportedCalculus {
+        proc: Ident,
+        calculus: Ident,
+    },
 }
 
 impl JaniConversionError {

src/mc/opsem.rs

@@ -143,7 +143,7 @@ fn translate_stmt(
             Ok(start)
         }
         StmtKind::Havoc(dir, _) => Err(JaniConversionError::UnsupportedHavoc {
-            stmt: stmt.clone(),
+            stmt: Box::new(stmt.clone()),
             can_eliminate: automaton.spec_part.direction == *dir,
         }),
         StmtKind::Compare(_, _) | StmtKind::Negate(_) | StmtKind::Validate(_) => {

src/proof_rules/mciver_ast.rs

@@ -144,7 +144,7 @@ impl Encoding for ASTAnnotation {
             return Err(AnnotationError::NotOnWhile {
                 span: annotation_span,
                 annotation_name: self.name(),
-                annotated: inner_stmt.clone(),
+                annotated: Box::new(inner_stmt.clone()),
             });
         };
 

src/proof_rules/mod.rs

@@ -288,7 +288,7 @@ impl<'tcx, 'sunit> VisitorMut for EncodingVisitor<'tcx, 'sunit> {
                             AnnotationError::NotOnWhile {
                                 span: *annotation_span,
                                 annotation_name: *ident,
-                                annotated: inner_stmt.as_ref().clone(),
+                                annotated: Box::new(inner_stmt.as_ref().clone()),
                             },
                         ));
                     }

src/proof_rules/ost.rs

@@ -137,7 +137,7 @@ impl Encoding for OSTAnnotation {
             return Err(AnnotationError::NotOnWhile {
                 span: annotation_span,
                 annotation_name: self.name(),
-                annotated: inner_stmt.clone(),
+                annotated: Box::new(inner_stmt.clone()),
             });
         };
 

src/proof_rules/past.rs

@@ -135,7 +135,7 @@ impl Encoding for PASTAnnotation {
             return Err(AnnotationError::NotOnWhile {
                 span: annotation_span,
                 annotation_name: self.name(),
-                annotated: inner_stmt.clone(),
+                annotated: Box::new(inner_stmt.clone()),
             });
         };