Simplify CI and formatting configuration

Author: laurmaedje

.github/workflows/ci.yml

@@ -0,0 +1,11 @@
+name: Continuous integration
+on: [push, pull_request]
+
+jobs:
+  ci:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: dtolnay/rust-toolchain@stable
+      - run: cargo build
+      - run: cargo test

.github/workflows/rust.yml

@@ -1,11 +1,6 @@
-unstable_features = true
-
-overflow_delimited_expr = true
-spaces_around_ranges = true
-use_field_init_shorthand = true
-merge_derives = false
-
+use_small_heuristics = "Max"
 max_width = 90
-struct_lit_width = 40
 chain_width = 70
-single_line_if_else_max_width = 60
+struct_lit_width = 50
+use_field_init_shorthand = true
+merge_derives = false

rustfmt.toml

@@ -108,10 +108,7 @@ where
     where
         Self: 'r,
     {
-        let tracked = Tracked {
-            value: self.value,
-            constraint: Some(constraint),
-        };
+        let tracked = Tracked { value: self.value, constraint: Some(constraint) };
         (tracked, self.constraint)
     }
 }
@@ -156,10 +153,7 @@ where
     where
         Self: 'r,
     {
-        let tracked = TrackedMut {
-            value: self.value,
-            constraint: Some(constraint),
-        };
+        let tracked = TrackedMut { value: self.value, constraint: Some(constraint) };
         (tracked, self.constraint)
     }
 }

src/input.rs

@@ -25,10 +25,7 @@ pub trait Track: Trackable {
     /// Start tracking all accesses into a constraint.
     #[inline]
     fn track_with<'a>(&'a self, constraint: &'a Constraint<Self>) -> Tracked<'a, Self> {
-        Tracked {
-            value: self,
-            constraint: Some(constraint),
-        }
+        Tracked { value: self, constraint: Some(constraint) }
     }
 
     /// Start tracking all accesses and mutations into a constraint.
@@ -37,10 +34,7 @@ pub trait Track: Trackable {
         &'a mut self,
         constraint: &'a Constraint<Self>,
     ) -> TrackedMut<'a, Self> {
-        TrackedMut {
-            value: self,
-            constraint: Some(constraint),
-        }
+        TrackedMut { value: self, constraint: Some(constraint) }
     }
 
     /// Whether this value fulfills the given constraints.
@@ -172,10 +166,7 @@ where
     /// defined on `T`. It should be called as `TrackedMut::downgrade(...)`.
     #[inline]
     pub fn downgrade(this: Self) -> Tracked<'a, T> {
-        Tracked {
-            value: this.value,
-            constraint: this.constraint,
-        }
+        Tracked { value: this.value, constraint: this.constraint }
     }
 
     /// Reborrow with a shorter lifetime.
@@ -184,10 +175,7 @@ where
     /// defined on `T`. It should be called as `TrackedMut::reborrow(...)`.
     #[inline]
     pub fn reborrow(this: &Self) -> Tracked<'_, T> {
-        Tracked {
-            value: this.value,
-            constraint: this.constraint,
-        }
+        Tracked { value: this.value, constraint: this.constraint }
     }
 
     /// Reborrow mutably with a shorter lifetime.
@@ -196,10 +184,7 @@ where
     /// defined on `T`. It should be called as `TrackedMut::reborrow_mut(...)`.
     #[inline]
     pub fn reborrow_mut(this: &mut Self) -> TrackedMut<'_, T> {
-        TrackedMut {
-            value: this.value,
-            constraint: this.constraint,
-        }
+        TrackedMut { value: this.value, constraint: this.constraint }
     }
 }