warning: consider adding a `;` to the last statement for consistent formatting --> crates/flux-infer/src/fixpoint_encoding.rs:327:9 | 327 | / decls.extend( 328 | | tuples 329 | | .into_items() 330 | | .into_sorted_stable_ord() ... | 348 | | }), 349 | | ) | |_________^ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#semicolon_if_nothing_returned = note: requested on the command line with `-W clippy::semicolon-if-nothing-returned` help: add a `;` here | 327 ~ decls.extend( 328 + tuples 329 + .into_items() 330 + .into_sorted_stable_ord() 331 + .into_iter() 332 + .map(|arity| { 333 + fixpoint::DataDecl { 334 + name: fixpoint::DataSort::Tuple(arity), 335 + vars: arity, 336 + ctors: vec![fixpoint::DataCtor { 337 + name: fixpoint::Var::TupleCtor { arity }, 338 + fields: (0..(arity as u32)) 339 + .map(|field| { 340 + fixpoint::DataField { 341 + name: fixpoint::Var::TupleProj { arity, field }, 342 + sort: fixpoint::Sort::Var(field as usize), 343 + } 344 + }) 345 + .collect(), 346 + }], 347 + } 348 + }), 349 + ); |