diff --git a/crates/aiken-lang/src/tipo.rs b/crates/aiken-lang/src/tipo.rs
index e5ed6483..1fd00181 100644
--- a/crates/aiken-lang/src/tipo.rs
+++ b/crates/aiken-lang/src/tipo.rs
@@ -833,12 +833,10 @@ impl TypeVar {
             Self::Link { tipo } => tipo.get_inner_types(),
             Self::Unbound { .. } => vec![],
             var => {
-                vec![
-                    Type::Var {
-                        tipo: RefCell::new(var.clone()).into(),
-                    }
-                    .into(),
-                ]
+                vec![Type::Var {
+                    tipo: RefCell::new(var.clone()).into(),
+                }
+                .into()]
             }
         }
     }
diff --git a/crates/aiken-project/src/test_framework.rs b/crates/aiken-project/src/test_framework.rs
index be1032d0..4619c9c7 100644
--- a/crates/aiken-project/src/test_framework.rs
+++ b/crates/aiken-project/src/test_framework.rs
@@ -396,10 +396,8 @@ impl Prng {
         fn as_prng(cst: &PlutusData) -> Prng {
             if let PlutusData::Constr(Constr { tag, fields, .. }) = cst {
                 if *tag == 121 + Prng::SEEDED {
-                    if let [
-                        PlutusData::BoundedBytes(bytes),
-                        PlutusData::BoundedBytes(choices),
-                    ] = &fields[..]
+                    if let [PlutusData::BoundedBytes(bytes), PlutusData::BoundedBytes(choices)] =
+                        &fields[..]
                     {
                         return Prng::Seeded {
                             choices: choices.to_vec(),
@@ -883,11 +881,9 @@ impl TryFrom<TypedExpr> for Assertion<TypedExpr> {
                 final_else,
                 ..
             } => {
-                if let [
-                    IfBranch {
-                        condition, body, ..
-                    },
-                ] = &branches[..]
+                if let [IfBranch {
+                    condition, body, ..
+                }] = &branches[..]
                 {
                     let then_is_true = match body {
                         TypedExpr::Var {