We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b1f7138 commit 2df46b1Copy full SHA for 2df46b1
creusot/src/translation/fmir.rs
@@ -107,7 +107,7 @@ impl<'tcx> Expr<'tcx> {
107
Expr::Constructor(_, _, es) => es.iter().all(|e| e.is_pure()),
108
Expr::Call(_, _, es) => es.iter().all(|e| e.is_pure()),
109
Expr::Constant(_) => true,
110
- Expr::Cast(e, _, _) => false,
+ Expr::Cast(_, _, _) => false,
111
Expr::Tuple(es) => es.iter().all(|e| e.is_pure()),
112
Expr::Span(_, e) => e.is_pure(),
113
Expr::Len(e) => e.is_pure(),
0 commit comments