summaryrefslogtreecommitdiffstats
path: root/src/test/ui/stdlib-unit-tests/eq-multidispatch.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/stdlib-unit-tests/eq-multidispatch.rs')
-rw-r--r--src/test/ui/stdlib-unit-tests/eq-multidispatch.rs30
1 files changed, 30 insertions, 0 deletions
diff --git a/src/test/ui/stdlib-unit-tests/eq-multidispatch.rs b/src/test/ui/stdlib-unit-tests/eq-multidispatch.rs
new file mode 100644
index 000000000..69d83f496
--- /dev/null
+++ b/src/test/ui/stdlib-unit-tests/eq-multidispatch.rs
@@ -0,0 +1,30 @@
+// run-pass
+
+#[derive(PartialEq, Debug)]
+struct Bar;
+#[derive(Debug)]
+struct Baz;
+#[derive(Debug)]
+struct Foo;
+#[derive(Debug)]
+struct Fu;
+
+impl PartialEq for Baz { fn eq(&self, _: &Baz) -> bool { true } }
+
+impl PartialEq<Fu> for Foo { fn eq(&self, _: &Fu) -> bool { true } }
+impl PartialEq<Foo> for Fu { fn eq(&self, _: &Foo) -> bool { true } }
+
+impl PartialEq<Bar> for Foo { fn eq(&self, _: &Bar) -> bool { false } }
+impl PartialEq<Foo> for Bar { fn eq(&self, _: &Foo) -> bool { false } }
+
+fn main() {
+ assert!(Bar != Foo);
+ assert!(Foo != Bar);
+
+ assert_eq!(Bar, Bar);
+
+ assert_eq!(Baz, Baz);
+
+ assert_eq!(Foo, Fu);
+ assert_eq!(Fu, Foo);
+}