Merge pull request #48 from PLSysSec/eq-trusted-impl

ranjitjhala · web-flow · commit 576b28641e22 · 2025-10-03T16:00:25.000-07:00
Eq trusted impl
diff --git a/flux_support/src/flux_ptr.rs b/flux_support/src/flux_ptr.rs
@@ -232,6 +232,7 @@ impl FluxPtr {
     }
 }
 
+#[flux_rs::trusted_impl]
 impl PartialEq for FluxPtr {
     #[flux_rs::trusted(reason = "flux wrappers")]
     #[flux_rs::sig(fn (&Self[@x], &Self[@y]) -> bool[x == y])]

Original file line number	Diff line number	Diff line change
`@@ -232,6 +232,7 @@ impl FluxPtr {`
`232`	`232`	`}`
`233`	`233`	`}`
`234`	`234`
	`235`	`+#[flux_rs::trusted_impl]`
`235`	`236`	`impl PartialEq for FluxPtr {`
`236`	`237`	`#[flux_rs::trusted(reason = "flux wrappers")]`
`237`	`238`	`#[flux_rs::sig(fn (&Self[@x], &Self[@y]) -> bool[x == y])]`