about summary refs log tree commit diff
path: root/tests/ui/impl-trait/no-method-suggested-traits.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/impl-trait/no-method-suggested-traits.rs')
-rw-r--r--tests/ui/impl-trait/no-method-suggested-traits.rs77
1 files changed, 77 insertions, 0 deletions
diff --git a/tests/ui/impl-trait/no-method-suggested-traits.rs b/tests/ui/impl-trait/no-method-suggested-traits.rs
new file mode 100644
index 00000000000..c8abc2d8f8e
--- /dev/null
+++ b/tests/ui/impl-trait/no-method-suggested-traits.rs
@@ -0,0 +1,77 @@
+// aux-build:no_method_suggested_traits.rs
+extern crate no_method_suggested_traits;
+
+struct Foo;
+enum Bar { X }
+
+mod foo {
+    pub trait Bar {
+        fn method(&self) {}
+
+        fn method2(&self) {}
+    }
+
+    impl Bar for u32 {}
+
+    impl Bar for char {}
+}
+
+fn main() {
+    // test the values themselves, and autoderef.
+
+
+    1u32.method();
+    //~^ ERROR no method named
+    //~|items from traits can only be used if the trait is in scope
+    std::rc::Rc::new(&mut Box::new(&1u32)).method();
+    //~^items from traits can only be used if the trait is in scope
+    //~| ERROR no method named `method` found for struct
+
+    'a'.method();
+    //~^ ERROR no method named
+    std::rc::Rc::new(&mut Box::new(&'a')).method();
+    //~^ ERROR no method named
+
+    1i32.method();
+    //~^ ERROR no method named
+    std::rc::Rc::new(&mut Box::new(&1i32)).method();
+    //~^ ERROR no method named
+
+    Foo.method();
+    //~^ ERROR no method named
+    std::rc::Rc::new(&mut Box::new(&Foo)).method();
+    //~^ ERROR no method named
+
+    1u64.method2();
+    //~^ ERROR no method named
+    std::rc::Rc::new(&mut Box::new(&1u64)).method2();
+    //~^ ERROR no method named
+
+    no_method_suggested_traits::Foo.method2();
+    //~^ ERROR no method named
+    std::rc::Rc::new(&mut Box::new(&no_method_suggested_traits::Foo)).method2();
+    //~^ ERROR no method named
+    no_method_suggested_traits::Bar::X.method2();
+    //~^ ERROR no method named
+    std::rc::Rc::new(&mut Box::new(&no_method_suggested_traits::Bar::X)).method2();
+    //~^ ERROR no method named
+
+    Foo.method3();
+    //~^ ERROR no method named
+    std::rc::Rc::new(&mut Box::new(&Foo)).method3();
+    //~^ ERROR no method named
+    Bar::X.method3();
+    //~^ ERROR no method named
+    std::rc::Rc::new(&mut Box::new(&Bar::X)).method3();
+    //~^ ERROR no method named
+
+    // should have no help:
+    1_usize.method3(); //~ ERROR no method named
+    std::rc::Rc::new(&mut Box::new(&1_usize)).method3(); //~ ERROR no method named
+    no_method_suggested_traits::Foo.method3();  //~ ERROR no method named
+    std::rc::Rc::new(&mut Box::new(&no_method_suggested_traits::Foo)).method3();
+    //~^ ERROR no method named
+    no_method_suggested_traits::Bar::X.method3();  //~ ERROR no method named
+    std::rc::Rc::new(&mut Box::new(&no_method_suggested_traits::Bar::X)).method3();
+    //~^ ERROR no method named
+}