From cfeffb7f24e4cd47e8bc6db96eefe11ef9379bf3 Mon Sep 17 00:00:00 2001
From: Adam Wick <awick@uhsure.com>
Date: Wed, 26 Nov 2025 15:31:41 -0800
Subject: [PATCH] Formatting.

---
 src/syntax/arbitrary.rs | 17 +++++------------
 1 file changed, 5 insertions(+), 12 deletions(-)

diff --git a/src/syntax/arbitrary.rs b/src/syntax/arbitrary.rs
index 107346d..2cd6704 100644
--- a/src/syntax/arbitrary.rs
+++ b/src/syntax/arbitrary.rs
@@ -29,31 +29,24 @@ impl TypeGenerationContext {
 
         if !self.available_constructors.is_empty() {
             for name in self.available_constructors.iter() {
-                leaf_options.push(Type::Constructor(
-                    Location::manufactured(),
-                    name.clone(),
-                ));
+                leaf_options.push(Type::Constructor(Location::manufactured(), name.clone()));
             }
         }
 
         if !self.available_variables.is_empty() {
             for name in self.available_variables.iter() {
-                leaf_options.push(Type::Variable(
-                    Location::manufactured(),
-                    name.clone(),
-                ));
+                leaf_options.push(Type::Variable(Location::manufactured(), name.clone()));
             }
         }
 
         for prim in PRIMITIVE_TYPES.iter() {
             leaf_options.push(Type::Primitive(
-               Location::manufactured(),
-               Name::new(Location::manufactured(), prim.to_string()),
+                Location::manufactured(),
+                Name::new(Location::manufactured(), prim.to_string()),
             ));
         }
 
-        if depth < MAXIMUM_TYPE_DEPTH && runner.rng().random_bool(0.5) {
-        }
+        if depth < MAXIMUM_TYPE_DEPTH && runner.rng().random_bool(0.5) {}
 
         let index = runner.rng().random_range(0..leaf_options.len());
         leaf_options.remove(index)