1 files changed, 30 insertions, 0 deletions
diff --git a/tests/ui/traits/trait-object-method-receiver-rules.rs b/tests/ui/traits/trait-object-method-receiver-rules.rs
new file mode 100644
index 00000000000..760a50e5b79
--- /dev/null
+++ b/tests/ui/traits/trait-object-method-receiver-rules.rs
@@ -0,0 +1,30 @@
+trait Foo {
+    fn borrowed(&self);
+    fn borrowed_mut(&mut self);
+
+    fn owned(self: Box<Self>);
+}
+
+fn borrowed_receiver(x: &dyn Foo) {
+    x.borrowed();
+    x.borrowed_mut(); // See [1]
+    x.owned(); //~ ERROR no method named `owned` found
+}
+
+fn borrowed_mut_receiver(x: &mut dyn Foo) {
+    x.borrowed();
+    x.borrowed_mut();
+    x.owned(); //~ ERROR no method named `owned` found
+}
+
+fn owned_receiver(x: Box<dyn Foo>) {
+    x.borrowed();
+    x.borrowed_mut(); // See [1]
+    x.managed();  //~ ERROR no method named `managed` found
+    x.owned();
+}
+
+fn main() {}
+
+// [1]: These cases are illegal, but the error is not detected
+// until borrowck, so see the test borrowck-object-mutability.rs