No field assignment for the moment.

epfl-lara · Mar 4, 2021 · 19ed194 · 19ed194
1 parent ec490c8
commit 19ed194
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/stainless_frontend/tests/pass/mut_local_lets.rs b/stainless_frontend/tests/pass/mut_local_lets.rs
@@ -7,10 +7,6 @@ pub enum IntOption {
   Some(i32),
 }
 
-struct S {
-  field: i32,
-}
-
 pub fn main() {
   // Local mutation is ok.
   let mut x = 1;
@@ -24,10 +20,4 @@ pub fn main() {
   let mut option = IntOption::None;
   option2 = option;
   option = IntOption::Some(123);
-
-  // field assignment
-  let mut s = S { field: 123 };
-  assert!(s.field == 123);
-  s.field = 456;
-  assert!(s.field == 456);
 }