Merge pull request #201 from WaffleLapkin/undefault

arbimo · web-flow · commit efac01c04a63 · 2026-01-08T15:54:02.000+01:00
Don't depend on `[!Default; 0]: Default` impl
diff --git a/solver/src/reasoners/cp/mod.rs b/solver/src/reasoners/cp/mod.rs
@@ -34,7 +34,6 @@ use std::collections::{HashMap, HashSet};
 #[derive(Clone, Default)]
 pub struct Watches {
     propagations: RefMap<SignedVar, Vec<PropagatorId>>,
-    empty: [PropagatorId; 0],
 }
 
 impl Watches {
@@ -71,7 +70,7 @@ impl Watches {
     /// Returns all propagators
     fn get_ub_watches(&self, var: impl Into<SignedVar>) -> &[PropagatorId] {
         let var = var.into();
-        self.propagations.get(var).map(|v| v.as_slice()).unwrap_or(&self.empty)
+        self.propagations.get(var).map(|v| v.as_slice()).unwrap_or(&[])
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,6 @@ use std::collections::{HashMap, HashSet};`
`34`	`34`	`#[derive(Clone, Default)]`
`35`	`35`	`pub struct Watches {`
`36`	`36`	`propagations: RefMap<SignedVar, Vec<PropagatorId>>,`
`37`		`- empty: [PropagatorId; 0],`
`38`	`37`	`}`
`39`	`38`
`40`	`39`	`impl Watches {`
`@@ -71,7 +70,7 @@ impl Watches {`
`71`	`70`	`/// Returns all propagators`
`72`	`71`	`fn get_ub_watches(&self, var: impl Into<SignedVar>) -> &[PropagatorId] {`
`73`	`72`	`let var = var.into();`
`74`		`- self.propagations.get(var).map(\|v\| v.as_slice()).unwrap_or(&self.empty)`
	`73`	`+ self.propagations.get(var).map(\|v\| v.as_slice()).unwrap_or(&[])`
`75`	`74`	`}`
`76`	`75`	`}`
`77`	`76`