Use is_empty instead of comparison to 0

heap-coder · heap-coder · commit 2516c70678b0 · 2022-05-10T16:46:40.000+10:00
Clippy emits:

 warning: length comparison to zero

As suggested use `is_empty`.
diff --git a/src/policy/compiler.rs b/src/policy/compiler.rs
@@ -1008,7 +1008,7 @@ where
     for k in ret.keys() {
         debug_assert_eq!(k.dissat_prob, ord_dissat_prob);
     }
-    if ret.len() == 0 {
+    if ret.is_empty() {
         // The only reason we are discarding elements out of compiler is because
         // compilations exceeded consensus and standardness limits or are non-malleable.
         // If there no possible compilations for any policies regardless of dissat

Original file line number	Diff line number	Diff line change
`@@ -1008,7 +1008,7 @@ where`
`1008`	`1008`	`for k in ret.keys() {`
`1009`	`1009`	`debug_assert_eq!(k.dissat_prob, ord_dissat_prob);`
`1010`	`1010`	`}`
`1011`		`- if ret.len() == 0 {`
	`1011`	`+ if ret.is_empty() {`
`1012`	`1012`	`// The only reason we are discarding elements out of compiler is because`
`1013`	`1013`	`// compilations exceeded consensus and standardness limits or are non-malleable.`
`1014`	`1014`	`// If there no possible compilations for any policies regardless of dissat`