about summary refs log tree commit diff
path: root/tests/ui/stdlib-unit-tests/eq-multidispatch.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/stdlib-unit-tests/eq-multidispatch.rs')
-rw-r--r--tests/ui/stdlib-unit-tests/eq-multidispatch.rs30
1 files changed, 30 insertions, 0 deletions
diff --git a/tests/ui/stdlib-unit-tests/eq-multidispatch.rs b/tests/ui/stdlib-unit-tests/eq-multidispatch.rs
new file mode 100644
index 00000000000..69d83f496b3
--- /dev/null
+++ b/tests/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);
+}