Dec 04 13:54:55.656 INFO checking mohas556/cassowaryr against master#c8ae2de8363be088604ffa2ccba84ff7ad7250bc for pr-56481 Dec 04 13:54:55.656 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56481/worker-4/master#c8ae2de8363be088604ffa2ccba84ff7ad7250bc:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56481/master#c8ae2de8363be088604ffa2ccba84ff7ad7250bc:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +c8ae2de8363be088604ffa2ccba84ff7ad7250bc-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 04 13:54:56.179 INFO [stdout] dff340b7f26370e5646cfbe1ee0d3a6301cda23a9a78b24592fc579385f1a6be Dec 04 13:54:56.182 INFO running `"docker" "start" "-a" "dff340b7f26370e5646cfbe1ee0d3a6301cda23a9a78b24592fc579385f1a6be"` Dec 04 13:54:57.403 INFO [stderr] usermod: no changes Dec 04 13:54:57.467 INFO [stderr] Checking cassowaryr v0.1.0 (/source) Dec 04 13:54:57.852 INFO [stderr] warning: unnecessary parentheses around `if` condition Dec 04 13:54:57.852 INFO [stderr] --> src/lib.rs:2055:36 Dec 04 13:54:57.852 INFO [stderr] | Dec 04 13:54:57.852 INFO [stderr] 2055 | if (val > 0f64 && var.pivotable()) { Dec 04 13:54:57.852 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these parentheses Dec 04 13:54:57.852 INFO [stderr] | Dec 04 13:54:57.863 INFO [stderr] = note: #[warn(unused_parens)] on by default Dec 04 13:54:57.863 INFO [stderr] Dec 04 13:54:57.903 INFO [stderr] warning: unnecessary parentheses around `if` condition Dec 04 13:54:57.903 INFO [stderr] --> src/lib.rs:2055:36 Dec 04 13:54:57.903 INFO [stderr] | Dec 04 13:54:57.903 INFO [stderr] 2055 | if (val > 0f64 && var.pivotable()) { Dec 04 13:54:57.903 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these parentheses Dec 04 13:54:57.903 INFO [stderr] | Dec 04 13:54:57.903 INFO [stderr] = note: #[warn(unused_parens)] on by default Dec 04 13:54:57.903 INFO [stderr] Dec 04 13:54:58.180 INFO [stderr] warning: value assigned to `prev_edit_constant` is never read Dec 04 13:54:58.180 INFO [stderr] --> src/lib.rs:1838:25 Dec 04 13:54:58.180 INFO [stderr] | Dec 04 13:54:58.180 INFO [stderr] 1838 | prev_edit_constant = some_val; Dec 04 13:54:58.180 INFO [stderr] | ^^^^^^^^^^^^^^^^^^ Dec 04 13:54:58.180 INFO [stderr] | Dec 04 13:54:58.180 INFO [stderr] = note: #[warn(unused_assignments)] on by default Dec 04 13:54:58.180 INFO [stderr] Dec 04 13:54:58.180 INFO [stderr] warning: value assigned to `r` is never read Dec 04 13:54:58.180 INFO [stderr] --> src/lib.rs:2006:25 Dec 04 13:54:58.180 INFO [stderr] | Dec 04 13:54:58.180 INFO [stderr] 2006 | let mut r: f64 = 0f64; Dec 04 13:54:58.180 INFO [stderr] | ^ Dec 04 13:54:58.180 INFO [stderr] Dec 04 13:54:58.288 INFO [stderr] warning: value assigned to `prev_edit_constant` is never read Dec 04 13:54:58.288 INFO [stderr] --> src/lib.rs:1838:25 Dec 04 13:54:58.288 INFO [stderr] | Dec 04 13:54:58.288 INFO [stderr] 1838 | prev_edit_constant = some_val; Dec 04 13:54:58.289 INFO [stderr] | ^^^^^^^^^^^^^^^^^^ Dec 04 13:54:58.289 INFO [stderr] | Dec 04 13:54:58.289 INFO [stderr] = note: #[warn(unused_assignments)] on by default Dec 04 13:54:58.289 INFO [stderr] Dec 04 13:54:58.289 INFO [stderr] warning: value assigned to `r` is never read Dec 04 13:54:58.289 INFO [stderr] --> src/lib.rs:2006:25 Dec 04 13:54:58.289 INFO [stderr] | Dec 04 13:54:58.289 INFO [stderr] 2006 | let mut r: f64 = 0f64; Dec 04 13:54:58.289 INFO [stderr] | ^ Dec 04 13:54:58.289 INFO [stderr] Dec 04 13:54:59.075 INFO [stderr] warning: value assigned to `prev_edit_constant` is never read Dec 04 13:54:59.075 INFO [stderr] --> src/main.rs:1830:7 Dec 04 13:54:59.075 INFO [stderr] | Dec 04 13:54:59.075 INFO [stderr] 1830 | prev_edit_constant = some_val; Dec 04 13:54:59.075 INFO [stderr] | ^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.075 INFO [stderr] | Dec 04 13:54:59.075 INFO [stderr] = note: #[warn(unused_assignments)] on by default Dec 04 13:54:59.075 INFO [stderr] Dec 04 13:54:59.075 INFO [stderr] warning: value assigned to `r` is never read Dec 04 13:54:59.075 INFO [stderr] --> src/main.rs:1997:25 Dec 04 13:54:59.075 INFO [stderr] | Dec 04 13:54:59.075 INFO [stderr] 1997 | let mut r: f64 = 0f64; Dec 04 13:54:59.075 INFO [stderr] | ^ Dec 04 13:54:59.075 INFO [stderr] Dec 04 13:54:59.095 INFO [stderr] warning: value assigned to `prev_edit_constant` is never read Dec 04 13:54:59.095 INFO [stderr] --> src/main.rs:1830:7 Dec 04 13:54:59.095 INFO [stderr] | Dec 04 13:54:59.095 INFO [stderr] 1830 | prev_edit_constant = some_val; Dec 04 13:54:59.095 INFO [stderr] | ^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.095 INFO [stderr] | Dec 04 13:54:59.095 INFO [stderr] = note: #[warn(unused_assignments)] on by default Dec 04 13:54:59.098 INFO [stderr] Dec 04 13:54:59.099 INFO [stderr] warning: value assigned to `r` is never read Dec 04 13:54:59.099 INFO [stderr] --> src/main.rs:1997:25 Dec 04 13:54:59.099 INFO [stderr] | Dec 04 13:54:59.099 INFO [stderr] 1997 | let mut r: f64 = 0f64; Dec 04 13:54:59.099 INFO [stderr] | ^ Dec 04 13:54:59.099 INFO [stderr] Dec 04 13:54:59.128 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.129 INFO [stderr] --> src/main.rs:863:14 Dec 04 13:54:59.129 INFO [stderr] | Dec 04 13:54:59.129 INFO [stderr] 863 | let mut expr = Rc::new(Expression::new_blank()); Dec 04 13:54:59.129 INFO [stderr] | ----^^^^ Dec 04 13:54:59.129 INFO [stderr] | | Dec 04 13:54:59.129 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.129 INFO [stderr] | Dec 04 13:54:59.129 INFO [stderr] = note: #[warn(unused_mut)] on by default Dec 04 13:54:59.129 INFO [stderr] Dec 04 13:54:59.129 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.129 INFO [stderr] --> src/main.rs:915:21 Dec 04 13:54:59.129 INFO [stderr] | Dec 04 13:54:59.129 INFO [stderr] 915 | let mut expr = Rc::new(Expression::new_single_variable(var_two)); Dec 04 13:54:59.129 INFO [stderr] | ----^^^^ Dec 04 13:54:59.129 INFO [stderr] | | Dec 04 13:54:59.129 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.129 INFO [stderr] Dec 04 13:54:59.129 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.129 INFO [stderr] --> src/main.rs:937:17 Dec 04 13:54:59.129 INFO [stderr] | Dec 04 13:54:59.129 INFO [stderr] 937 | let mut cexpr: Rc = expr.clone(); Dec 04 13:54:59.129 INFO [stderr] | ----^^^^^ Dec 04 13:54:59.129 INFO [stderr] | | Dec 04 13:54:59.129 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.129 INFO [stderr] Dec 04 13:54:59.133 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.133 INFO [stderr] --> src/main.rs:966:17 Dec 04 13:54:59.133 INFO [stderr] | Dec 04 13:54:59.133 INFO [stderr] 966 | let mut expr = expr_two.clone(); Dec 04 13:54:59.133 INFO [stderr] | ----^^^^ Dec 04 13:54:59.133 INFO [stderr] | | Dec 04 13:54:59.133 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.133 INFO [stderr] Dec 04 13:54:59.133 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.133 INFO [stderr] --> src/main.rs:1146:17 Dec 04 13:54:59.133 INFO [stderr] | Dec 04 13:54:59.133 INFO [stderr] 1146 | let mut expr = Rc::new(Expression::new_blank()); Dec 04 13:54:59.134 INFO [stderr] | ----^^^^ Dec 04 13:54:59.134 INFO [stderr] | | Dec 04 13:54:59.134 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.134 INFO [stderr] Dec 04 13:54:59.151 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.151 INFO [stderr] --> src/main.rs:863:14 Dec 04 13:54:59.151 INFO [stderr] | Dec 04 13:54:59.151 INFO [stderr] 863 | let mut expr = Rc::new(Expression::new_blank()); Dec 04 13:54:59.151 INFO [stderr] | ----^^^^ Dec 04 13:54:59.151 INFO [stderr] | | Dec 04 13:54:59.151 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.151 INFO [stderr] | Dec 04 13:54:59.151 INFO [stderr] = note: #[warn(unused_mut)] on by default Dec 04 13:54:59.151 INFO [stderr] Dec 04 13:54:59.151 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.151 INFO [stderr] --> src/main.rs:915:21 Dec 04 13:54:59.151 INFO [stderr] | Dec 04 13:54:59.151 INFO [stderr] 915 | let mut expr = Rc::new(Expression::new_single_variable(var_two)); Dec 04 13:54:59.151 INFO [stderr] | ----^^^^ Dec 04 13:54:59.151 INFO [stderr] | | Dec 04 13:54:59.151 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.151 INFO [stderr] Dec 04 13:54:59.151 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.151 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.151 INFO [stderr] --> src/main.rs:937:17 Dec 04 13:54:59.151 INFO [stderr] | Dec 04 13:54:59.151 INFO [stderr] 937 | let mut cexpr: Rc = expr.clone(); Dec 04 13:54:59.151 INFO [stderr] | ----^^^^^ Dec 04 13:54:59.151 INFO [stderr] | | Dec 04 13:54:59.151 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.151 INFO [stderr] Dec 04 13:54:59.151 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.151 INFO [stderr] --> src/main.rs:966:17 Dec 04 13:54:59.151 INFO [stderr] | Dec 04 13:54:59.151 INFO [stderr] 966 | let mut expr = expr_two.clone(); Dec 04 13:54:59.151 INFO [stderr] | ----^^^^ Dec 04 13:54:59.151 INFO [stderr] | | Dec 04 13:54:59.151 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.151 INFO [stderr] Dec 04 13:54:59.151 INFO [stderr] --> src/main.rs:1268:17 Dec 04 13:54:59.151 INFO [stderr] | Dec 04 13:54:59.151 INFO [stderr] 1268 | let mut prev_edit_constant = 0f64; Dec 04 13:54:59.151 INFO [stderr] | ----^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.151 INFO [stderr] | | Dec 04 13:54:59.151 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.151 INFO [stderr] Dec 04 13:54:59.151 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.151 INFO [stderr] --> src/main.rs:1270:17 Dec 04 13:54:59.151 INFO [stderr] | Dec 04 13:54:59.151 INFO [stderr] 1270 | let mut expr = self.new_expression(constraint, Dec 04 13:54:59.151 INFO [stderr] | ----^^^^ Dec 04 13:54:59.151 INFO [stderr] | | Dec 04 13:54:59.151 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.151 INFO [stderr] Dec 04 13:54:59.151 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.151 INFO [stderr] --> src/main.rs:1146:17 Dec 04 13:54:59.151 INFO [stderr] | Dec 04 13:54:59.151 INFO [stderr] 1146 | let mut expr = Rc::new(Expression::new_blank()); Dec 04 13:54:59.151 INFO [stderr] | ----^^^^ Dec 04 13:54:59.151 INFO [stderr] | | Dec 04 13:54:59.151 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.151 INFO [stderr] Dec 04 13:54:59.158 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.159 INFO [stderr] --> src/main.rs:1389:22 Dec 04 13:54:59.159 INFO [stderr] | Dec 04 13:54:59.159 INFO [stderr] 1389 | Some(mut expr) => { Dec 04 13:54:59.159 INFO [stderr] | ----^^^^ Dec 04 13:54:59.159 INFO [stderr] | | Dec 04 13:54:59.159 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.159 INFO [stderr] Dec 04 13:54:59.171 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.171 INFO [stderr] --> src/main.rs:1268:17 Dec 04 13:54:59.171 INFO [stderr] | Dec 04 13:54:59.171 INFO [stderr] 1268 | let mut prev_edit_constant = 0f64; Dec 04 13:54:59.171 INFO [stderr] | ----^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.171 INFO [stderr] | | Dec 04 13:54:59.171 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.171 INFO [stderr] Dec 04 13:54:59.171 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.171 INFO [stderr] --> src/main.rs:1270:17 Dec 04 13:54:59.171 INFO [stderr] | Dec 04 13:54:59.171 INFO [stderr] 1270 | let mut expr = self.new_expression(constraint, Dec 04 13:54:59.171 INFO [stderr] | ----^^^^ Dec 04 13:54:59.171 INFO [stderr] | | Dec 04 13:54:59.171 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.171 INFO [stderr] Dec 04 13:54:59.171 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.171 INFO [stderr] --> src/main.rs:1429:17 Dec 04 13:54:59.171 INFO [stderr] | Dec 04 13:54:59.171 INFO [stderr] 1429 | let mut obj_row: Rc = self.get_row_expression(&obj).unwrap(); Dec 04 13:54:59.171 INFO [stderr] | ----^^^^^^^ Dec 04 13:54:59.171 INFO [stderr] | | Dec 04 13:54:59.171 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.171 INFO [stderr] Dec 04 13:54:59.171 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.171 INFO [stderr] --> src/main.rs:1432:17 Dec 04 13:54:59.171 INFO [stderr] | Dec 04 13:54:59.171 INFO [stderr] 1432 | let mut error_option = self.error_vars.borrow_mut().get(constraint).map(|x| x.clone()); Dec 04 13:54:59.171 INFO [stderr] | ----^^^^^^^^^^^^ Dec 04 13:54:59.171 INFO [stderr] | | Dec 04 13:54:59.171 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.171 INFO [stderr] Dec 04 13:54:59.171 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.171 INFO [stderr] --> src/main.rs:1389:22 Dec 04 13:54:59.171 INFO [stderr] | Dec 04 13:54:59.171 INFO [stderr] 1389 | Some(mut expr) => { Dec 04 13:54:59.171 INFO [stderr] | ----^^^^ Dec 04 13:54:59.171 INFO [stderr] | | Dec 04 13:54:59.171 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.171 INFO [stderr] Dec 04 13:54:59.184 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.184 INFO [stderr] --> src/main.rs:1760:25 Dec 04 13:54:59.184 INFO [stderr] | Dec 04 13:54:59.184 INFO [stderr] 1760 | let mut row_expr = self.get_row_expression(&obj).unwrap(); Dec 04 13:54:59.184 INFO [stderr] | ----^^^^^^^^ Dec 04 13:54:59.184 INFO [stderr] | | Dec 04 13:54:59.184 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.184 INFO [stderr] Dec 04 13:54:59.184 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.184 INFO [stderr] --> src/main.rs:1800:25 Dec 04 13:54:59.184 INFO [stderr] | Dec 04 13:54:59.184 INFO [stderr] 1800 | let mut row_expr = self.get_row_expression(&obj).unwrap(); Dec 04 13:54:59.184 INFO [stderr] | ----^^^^^^^^ Dec 04 13:54:59.184 INFO [stderr] | | Dec 04 13:54:59.184 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.184 INFO [stderr] Dec 04 13:54:59.184 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.184 INFO [stderr] --> src/main.rs:1816:25 Dec 04 13:54:59.184 INFO [stderr] | Dec 04 13:54:59.184 INFO [stderr] 1816 | let mut some_val = constraint_expr.mref.borrow().clone().constant.clone(); Dec 04 13:54:59.184 INFO [stderr] | ----^^^^^^^^ Dec 04 13:54:59.184 INFO [stderr] | | Dec 04 13:54:59.184 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.184 INFO [stderr] Dec 04 13:54:59.184 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.184 INFO [stderr] --> src/main.rs:1429:17 Dec 04 13:54:59.184 INFO [stderr] | Dec 04 13:54:59.184 INFO [stderr] 1429 | let mut obj_row: Rc = self.get_row_expression(&obj).unwrap(); Dec 04 13:54:59.184 INFO [stderr] | ----^^^^^^^ Dec 04 13:54:59.184 INFO [stderr] | | Dec 04 13:54:59.184 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.184 INFO [stderr] Dec 04 13:54:59.184 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.184 INFO [stderr] --> src/main.rs:1432:17 Dec 04 13:54:59.184 INFO [stderr] | Dec 04 13:54:59.184 INFO [stderr] 1432 | let mut error_option = self.error_vars.borrow_mut().get(constraint).map(|x| x.clone()); Dec 04 13:54:59.184 INFO [stderr] | ----^^^^^^^^^^^^ Dec 04 13:54:59.184 INFO [stderr] | | Dec 04 13:54:59.184 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.184 INFO [stderr] Dec 04 13:54:59.203 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.203 INFO [stderr] --> src/main.rs:2038:17 Dec 04 13:54:59.203 INFO [stderr] | Dec 04 13:54:59.203 INFO [stderr] 2038 | let mut len = self.infeasible_rows.borrow().len(); Dec 04 13:54:59.203 INFO [stderr] | ----^^^ Dec 04 13:54:59.203 INFO [stderr] | | Dec 04 13:54:59.203 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.203 INFO [stderr] Dec 04 13:54:59.203 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.203 INFO [stderr] --> src/main.rs:1760:25 Dec 04 13:54:59.203 INFO [stderr] | Dec 04 13:54:59.203 INFO [stderr] 1760 | let mut row_expr = self.get_row_expression(&obj).unwrap(); Dec 04 13:54:59.203 INFO [stderr] | ----^^^^^^^^ Dec 04 13:54:59.203 INFO [stderr] | | Dec 04 13:54:59.203 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.203 INFO [stderr] Dec 04 13:54:59.203 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.203 INFO [stderr] --> src/main.rs:1800:25 Dec 04 13:54:59.203 INFO [stderr] | Dec 04 13:54:59.203 INFO [stderr] 1800 | let mut row_expr = self.get_row_expression(&obj).unwrap(); Dec 04 13:54:59.203 INFO [stderr] | ----^^^^^^^^ Dec 04 13:54:59.203 INFO [stderr] | | Dec 04 13:54:59.203 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.203 INFO [stderr] Dec 04 13:54:59.203 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.203 INFO [stderr] --> src/main.rs:1816:25 Dec 04 13:54:59.203 INFO [stderr] | Dec 04 13:54:59.203 INFO [stderr] 1816 | let mut some_val = constraint_expr.mref.borrow().clone().constant.clone(); Dec 04 13:54:59.203 INFO [stderr] | ----^^^^^^^^ Dec 04 13:54:59.203 INFO [stderr] | | Dec 04 13:54:59.203 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.203 INFO [stderr] Dec 04 13:54:59.203 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.203 INFO [stderr] --> src/main.rs:2184:14 Dec 04 13:54:59.203 INFO [stderr] | Dec 04 13:54:59.203 INFO [stderr] 2184 | let mut m = self.columns.borrow().clone(); Dec 04 13:54:59.203 INFO [stderr] | ----^ Dec 04 13:54:59.203 INFO [stderr] | | Dec 04 13:54:59.203 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.203 INFO [stderr] Dec 04 13:54:59.221 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.221 INFO [stderr] --> src/main.rs:2406:17 Dec 04 13:54:59.221 INFO [stderr] | Dec 04 13:54:59.221 INFO [stderr] 2406 | let mut x: Rc = Rc::new(Variable::new(String::from("var1"), Dec 04 13:54:59.221 INFO [stderr] | ----^ Dec 04 13:54:59.221 INFO [stderr] | | Dec 04 13:54:59.221 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.221 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.221 INFO [stderr] --> src/main.rs:2038:17 Dec 04 13:54:59.221 INFO [stderr] | Dec 04 13:54:59.221 INFO [stderr] 2038 | let mut len = self.infeasible_rows.borrow().len(); Dec 04 13:54:59.221 INFO [stderr] | ----^^^ Dec 04 13:54:59.221 INFO [stderr] | | Dec 04 13:54:59.221 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.221 INFO [stderr] Dec 04 13:54:59.221 INFO [stderr] Dec 04 13:54:59.221 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.221 INFO [stderr] --> src/main.rs:2410:17 Dec 04 13:54:59.221 INFO [stderr] | Dec 04 13:54:59.221 INFO [stderr] 2410 | let mut y: Rc = Rc::new(Variable::new(String::from("var2"), Dec 04 13:54:59.221 INFO [stderr] | ----^ Dec 04 13:54:59.221 INFO [stderr] | | Dec 04 13:54:59.221 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.221 INFO [stderr] Dec 04 13:54:59.227 INFO [stderr] warning: variable does not need to be mutable Dec 04 13:54:59.227 INFO [stderr] --> src/main.rs:2184:14 Dec 04 13:54:59.227 INFO [stderr] | Dec 04 13:54:59.227 INFO [stderr] 2184 | let mut m = self.columns.borrow().clone(); Dec 04 13:54:59.227 INFO [stderr] | ----^ Dec 04 13:54:59.227 INFO [stderr] | | Dec 04 13:54:59.227 INFO [stderr] | help: remove this `mut` Dec 04 13:54:59.227 INFO [stderr] Dec 04 13:54:59.235 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.235 INFO [stderr] --> src/main.rs:1216:10 Dec 04 13:54:59.235 INFO [stderr] | Dec 04 13:54:59.235 INFO [stderr] 1216 | self.add_constraint(&c); Dec 04 13:54:59.235 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.235 INFO [stderr] | Dec 04 13:54:59.235 INFO [stderr] = note: #[warn(unused_must_use)] on by default Dec 04 13:54:59.235 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.235 INFO [stderr] Dec 04 13:54:59.235 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.235 INFO [stderr] --> src/main.rs:1280:21 Dec 04 13:54:59.235 INFO [stderr] | Dec 04 13:54:59.235 INFO [stderr] 1280 | self.add_with_artificial(&expr); Dec 04 13:54:59.235 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.235 INFO [stderr] | Dec 04 13:54:59.235 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.235 INFO [stderr] Dec 04 13:54:59.235 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.235 INFO [stderr] --> src/main.rs:1307:17 Dec 04 13:54:59.235 INFO [stderr] | Dec 04 13:54:59.235 INFO [stderr] 1307 | self.optimise(&obj); Dec 04 13:54:59.235 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.235 INFO [stderr] | Dec 04 13:54:59.235 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.235 INFO [stderr] Dec 04 13:54:59.235 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.235 INFO [stderr] --> src/main.rs:1373:13 Dec 04 13:54:59.235 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] 1373 | self.optimise(&obj_var); Dec 04 13:54:59.236 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.236 INFO [stderr] Dec 04 13:54:59.236 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.236 INFO [stderr] --> src/main.rs:1401:29 Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] 1401 | self.pivot(&entry_var, &slack_var); Dec 04 13:54:59.236 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.236 INFO [stderr] Dec 04 13:54:59.236 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.236 INFO [stderr] --> src/main.rs:1514:25 Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] 1514 | self.pivot(&marker, &exit_var.unwrap()); Dec 04 13:54:59.236 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.236 INFO [stderr] Dec 04 13:54:59.236 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.236 INFO [stderr] --> src/main.rs:1574:17 Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] 1574 | self.optimise(&obj); Dec 04 13:54:59.236 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.236 INFO [stderr] Dec 04 13:54:59.236 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.236 INFO [stderr] --> src/main.rs:1691:13 Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] 1691 | self.remove_constraint(constraint); Dec 04 13:54:59.236 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.236 INFO [stderr] Dec 04 13:54:59.236 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.236 INFO [stderr] --> src/main.rs:1702:17 Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] 1702 | self.add_edit_var(var, Strength::REQUIRED); Dec 04 13:54:59.236 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.236 INFO [stderr] Dec 04 13:54:59.236 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.236 INFO [stderr] --> src/main.rs:1703:17 Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] 1703 | self.begin_edit(); Dec 04 13:54:59.236 INFO [stderr] | ^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.236 INFO [stderr] Dec 04 13:54:59.236 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.236 INFO [stderr] --> src/main.rs:1706:25 Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] 1706 | self.end_edit(); Dec 04 13:54:59.236 INFO [stderr] | ^^^^^^^^^^^^^^^^ Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.236 INFO [stderr] Dec 04 13:54:59.236 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.236 INFO [stderr] --> src/main.rs:1854:13 Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] 1854 | self.dual_optimise(); Dec 04 13:54:59.236 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.236 INFO [stderr] | Dec 04 13:54:59.236 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.236 INFO [stderr] Dec 04 13:54:59.237 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.237 INFO [stderr] --> src/main.rs:2026:17 Dec 04 13:54:59.237 INFO [stderr] | Dec 04 13:54:59.237 INFO [stderr] 2026 | self.pivot(&entry_var.clone().unwrap(), &exit_var.clone().unwrap()); Dec 04 13:54:59.237 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.237 INFO [stderr] | Dec 04 13:54:59.237 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.237 INFO [stderr] Dec 04 13:54:59.237 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.237 INFO [stderr] --> src/main.rs:2069:29 Dec 04 13:54:59.237 INFO [stderr] | Dec 04 13:54:59.237 INFO [stderr] 2069 | self.pivot(&entry_var.clone().unwrap(), &exit_var); Dec 04 13:54:59.237 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.237 INFO [stderr] | Dec 04 13:54:59.237 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.237 INFO [stderr] Dec 04 13:54:59.247 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.247 INFO [stderr] --> src/main.rs:2424:13 Dec 04 13:54:59.247 INFO [stderr] | Dec 04 13:54:59.247 INFO [stderr] 2424 | s.add_constraint(&c); Dec 04 13:54:59.247 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.247 INFO [stderr] | Dec 04 13:54:59.247 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.247 INFO [stderr] Dec 04 13:54:59.271 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.271 INFO [stderr] --> src/main.rs:1216:10 Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] 1216 | self.add_constraint(&c); Dec 04 13:54:59.271 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] = note: #[warn(unused_must_use)] on by default Dec 04 13:54:59.271 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.271 INFO [stderr] Dec 04 13:54:59.271 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.271 INFO [stderr] --> src/main.rs:1280:21 Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] 1280 | self.add_with_artificial(&expr); Dec 04 13:54:59.271 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.271 INFO [stderr] Dec 04 13:54:59.271 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.271 INFO [stderr] --> src/main.rs:1307:17 Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] 1307 | self.optimise(&obj); Dec 04 13:54:59.271 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.271 INFO [stderr] Dec 04 13:54:59.271 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.271 INFO [stderr] --> src/main.rs:1373:13 Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] 1373 | self.optimise(&obj_var); Dec 04 13:54:59.271 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.271 INFO [stderr] Dec 04 13:54:59.271 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.271 INFO [stderr] --> src/main.rs:1401:29 Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] 1401 | self.pivot(&entry_var, &slack_var); Dec 04 13:54:59.271 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.271 INFO [stderr] Dec 04 13:54:59.271 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.271 INFO [stderr] --> src/main.rs:1514:25 Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] 1514 | self.pivot(&marker, &exit_var.unwrap()); Dec 04 13:54:59.271 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.271 INFO [stderr] Dec 04 13:54:59.271 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.271 INFO [stderr] --> src/main.rs:1574:17 Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] 1574 | self.optimise(&obj); Dec 04 13:54:59.271 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.271 INFO [stderr] Dec 04 13:54:59.271 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.271 INFO [stderr] --> src/main.rs:1691:13 Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] 1691 | self.remove_constraint(constraint); Dec 04 13:54:59.271 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.271 INFO [stderr] Dec 04 13:54:59.271 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.271 INFO [stderr] --> src/main.rs:1702:17 Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] 1702 | self.add_edit_var(var, Strength::REQUIRED); Dec 04 13:54:59.271 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.271 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.271 INFO [stderr] Dec 04 13:54:59.271 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.271 INFO [stderr] --> src/main.rs:1703:17 Dec 04 13:54:59.271 INFO [stderr] | Dec 04 13:54:59.272 INFO [stderr] 1703 | self.begin_edit(); Dec 04 13:54:59.272 INFO [stderr] | ^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.272 INFO [stderr] | Dec 04 13:54:59.272 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.272 INFO [stderr] Dec 04 13:54:59.272 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.272 INFO [stderr] --> src/main.rs:1706:25 Dec 04 13:54:59.272 INFO [stderr] | Dec 04 13:54:59.272 INFO [stderr] 1706 | self.end_edit(); Dec 04 13:54:59.272 INFO [stderr] | ^^^^^^^^^^^^^^^^ Dec 04 13:54:59.272 INFO [stderr] | Dec 04 13:54:59.272 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.272 INFO [stderr] Dec 04 13:54:59.272 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.272 INFO [stderr] --> src/main.rs:1854:13 Dec 04 13:54:59.272 INFO [stderr] | Dec 04 13:54:59.272 INFO [stderr] 1854 | self.dual_optimise(); Dec 04 13:54:59.272 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.272 INFO [stderr] | Dec 04 13:54:59.272 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.272 INFO [stderr] Dec 04 13:54:59.272 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.272 INFO [stderr] --> src/main.rs:2026:17 Dec 04 13:54:59.272 INFO [stderr] | Dec 04 13:54:59.272 INFO [stderr] 2026 | self.pivot(&entry_var.clone().unwrap(), &exit_var.clone().unwrap()); Dec 04 13:54:59.272 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.272 INFO [stderr] | Dec 04 13:54:59.272 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.272 INFO [stderr] Dec 04 13:54:59.272 INFO [stderr] warning: unused `std::result::Result` that must be used Dec 04 13:54:59.272 INFO [stderr] --> src/main.rs:2069:29 Dec 04 13:54:59.272 INFO [stderr] | Dec 04 13:54:59.272 INFO [stderr] 2069 | self.pivot(&entry_var.clone().unwrap(), &exit_var); Dec 04 13:54:59.272 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 04 13:54:59.272 INFO [stderr] | Dec 04 13:54:59.272 INFO [stderr] = note: this `Result` may be an `Err` variant, which should be handled Dec 04 13:54:59.272 INFO [stderr] Dec 04 13:54:59.313 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.88s Dec 04 13:54:59.316 INFO [stderr] su: No module specific data is present Dec 04 13:54:59.763 INFO running `"docker" "inspect" "dff340b7f26370e5646cfbe1ee0d3a6301cda23a9a78b24592fc579385f1a6be"` Dec 04 13:54:59.936 INFO running `"docker" "rm" "-f" "dff340b7f26370e5646cfbe1ee0d3a6301cda23a9a78b24592fc579385f1a6be"` Dec 04 13:55:00.060 INFO [stdout] dff340b7f26370e5646cfbe1ee0d3a6301cda23a9a78b24592fc579385f1a6be