test lint

Shubham8287 · Shubham8287 · commit a8860e860bdc · 2025-09-23T19:37:11.000+05:30
diff --git a/crates/sats/src/algebraic_type.rs b/crates/sats/src/algebraic_type.rs
@@ -749,6 +749,6 @@ mod tests {
             ("b", AlgebraicType::product([AlgebraicType::U16, AlgebraicType::U32])),
         ]);
 
-        at.type_check(&av, &Typespace::EMPTY);
+        at.type_check(&av, Typespace::EMPTY);
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -749,6 +749,6 @@ mod tests {`
`749`	`749`	`("b", AlgebraicType::product([AlgebraicType::U16, AlgebraicType::U32])),`
`750`	`750`	`]);`
`751`	`751`
`752`		`- at.type_check(&av, &Typespace::EMPTY);`
	`752`	`+ at.type_check(&av, Typespace::EMPTY);`
`753`	`753`	`}`
`754`	`754`	`}`