mark flux-ptr eq as trusted_impl

Author: ranjitjhala

flux_support/src/flux_ptr.rs

@@ -232,19 +232,23 @@ impl FluxPtr {
     }
 }
 
-#[flux_rs::assoc(
-    fn eq(x:Self, y:Self) -> bool { x == y } 
-    fn ne(x:Self, y:Self) -> bool { x != y } 
- )]
+// #[flux_rs::assoc(
+//     fn eq(x:Self, y:Self) -> bool { x == y } 
+//    fn ne(x:Self, y:Self) -> bool { x != y } 
+// )]
+
+#[flux_rs::trusted_impl]
 impl PartialEq for FluxPtr {
     #[flux_rs::trusted(reason = "flux wrappers")]
-    #[flux_rs::sig(fn (&Self[@x], &Self[@y]) -> bool[Self::eq(x, y)])]
+    // #[flux_rs::sig(fn (&Self[@x], &Self[@y]) -> bool[<FluxPtr as PartialEq>::eq(x, y)])]
+    #[flux_rs::sig(fn (&Self[@x], &Self[@y]) -> bool[x == y])]
     fn eq(&self, other: &Self) -> bool {
         self.inner == other.inner
     }
 
     #[flux_rs::trusted(reason = "flux wrappers")]
-    #[flux_rs::sig(fn (&Self[@x], &Self[@y]) -> bool[Self::ne(x, y)])]
+    // #[flux_rs::sig(fn (&Self[@x], &Self[@y]) -> bool[<FluxPtr as PartialEq>::ne(x, y)])]
+    #[flux_rs::sig(fn (&Self[@x], &Self[@y]) -> bool[x != y])]
     fn ne(&self, other: &Self) -> bool {
         self.inner == other.inner
     }