diff --git a/crates/aiken-project/src/blueprint/parameter.rs b/crates/aiken-project/src/blueprint/parameter.rs index 9dfae48b..56b145b8 100644 --- a/crates/aiken-project/src/blueprint/parameter.rs +++ b/crates/aiken-project/src/blueprint/parameter.rs @@ -348,13 +348,11 @@ fn expect_data_constr(term: &Constant, index: usize) -> Result, Er Err(mismatch( term, - Schema::Data(Data::AnyOf(vec![ - Constructor { - index, - fields: vec![], - } - .into(), - ])), + Schema::Data(Data::AnyOf(vec![Constructor { + index, + fields: vec![], + } + .into()])), )) } diff --git a/crates/aiken-project/src/blueprint/validator.rs b/crates/aiken-project/src/blueprint/validator.rs index 1a013a4e..46387de5 100644 --- a/crates/aiken-project/src/blueprint/validator.rs +++ b/crates/aiken-project/src/blueprint/validator.rs @@ -797,13 +797,11 @@ mod tests { let mut definitions = fixture_definitions(); definitions.insert( &schema, - Schema::Data(Data::AnyOf(vec![ - Constructor { - index: 0, - fields: vec![Declaration::Referenced(Reference::new("Bool")).into()], - } - .into(), - ])) + Schema::Data(Data::AnyOf(vec![Constructor { + index: 0, + fields: vec![Declaration::Referenced(Reference::new("Bool")).into()], + } + .into()])) .into(), ); diff --git a/crates/aiken-project/src/pretty.rs b/crates/aiken-project/src/pretty.rs index ae79345a..9b107e49 100644 --- a/crates/aiken-project/src/pretty.rs +++ b/crates/aiken-project/src/pretty.rs @@ -10,7 +10,11 @@ pub fn ansi_len(s: &str) -> usize { pub fn len_longest_line(zero: usize, s: &str) -> usize { s.lines().fold(zero, |max, l| { let n = ansi_len(l); - if n > max { n } else { max } + if n > max { + n + } else { + max + } }) } @@ -124,7 +128,11 @@ pub fn pad_right(mut text: String, n: usize, delimiter: &str) -> String { } pub fn style_if(styled: bool, s: String, apply_style: fn(String) -> String) -> String { - if styled { apply_style(s) } else { s } + if styled { + apply_style(s) + } else { + s + } } pub fn multiline(max_len: usize, s: String) -> Vec { diff --git a/crates/aiken/src/cmd/build.rs b/crates/aiken/src/cmd/build.rs index 6949b2a3..36495ece 100644 --- a/crates/aiken/src/cmd/build.rs +++ b/crates/aiken/src/cmd/build.rs @@ -82,8 +82,8 @@ pub fn exec( } #[allow(clippy::type_complexity)] -pub fn filter_traces_parser() --> MapValueParser fn(TraceLevel) -> Tracing> { +pub fn filter_traces_parser( +) -> MapValueParser fn(TraceLevel) -> Tracing> { PossibleValuesParser::new(["user-defined", "compiler-generated", "all"]).map( |s: String| match s.as_str() { "user-defined" => Tracing::UserDefined,