about summary refs log tree commit diff
path: root/tests/ui/resolve/issue-14254.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/resolve/issue-14254.rs')
-rw-r--r--tests/ui/resolve/issue-14254.rs105
1 files changed, 105 insertions, 0 deletions
diff --git a/tests/ui/resolve/issue-14254.rs b/tests/ui/resolve/issue-14254.rs
new file mode 100644
index 00000000000..78add29ca0c
--- /dev/null
+++ b/tests/ui/resolve/issue-14254.rs
@@ -0,0 +1,105 @@
+trait Foo {
+    fn bar(&self);
+    fn baz(&self) { }
+    fn bah(_: Option<&Self>) { }
+}
+
+struct BarTy {
+    x : isize,
+    y : f64,
+}
+
+impl BarTy {
+    fn a() {}
+    fn b(&self) {}
+}
+
+impl Foo for *const BarTy {
+    fn bar(&self) {
+        baz();
+        //~^ ERROR cannot find function `baz`
+        a;
+        //~^ ERROR cannot find value `a`
+    }
+}
+
+impl<'a> Foo for &'a BarTy {
+    fn bar(&self) {
+        baz();
+        //~^ ERROR cannot find function `baz`
+        x;
+        //~^ ERROR cannot find value `x`
+        y;
+        //~^ ERROR cannot find value `y`
+        a;
+        //~^ ERROR cannot find value `a`
+        bah;
+        //~^ ERROR cannot find value `bah`
+        b;
+        //~^ ERROR cannot find value `b`
+    }
+}
+
+impl<'a> Foo for &'a mut BarTy {
+    fn bar(&self) {
+        baz();
+        //~^ ERROR cannot find function `baz`
+        x;
+        //~^ ERROR cannot find value `x`
+        y;
+        //~^ ERROR cannot find value `y`
+        a;
+        //~^ ERROR cannot find value `a`
+        bah;
+        //~^ ERROR cannot find value `bah`
+        b;
+        //~^ ERROR cannot find value `b`
+    }
+}
+
+impl Foo for Box<BarTy> {
+    fn bar(&self) {
+        baz();
+        //~^ ERROR cannot find function `baz`
+        bah;
+        //~^ ERROR cannot find value `bah`
+    }
+}
+
+impl Foo for *const isize {
+    fn bar(&self) {
+        baz();
+        //~^ ERROR cannot find function `baz`
+        bah;
+        //~^ ERROR cannot find value `bah`
+    }
+}
+
+impl<'a> Foo for &'a isize {
+    fn bar(&self) {
+        baz();
+        //~^ ERROR cannot find function `baz`
+        bah;
+        //~^ ERROR cannot find value `bah`
+    }
+}
+
+impl<'a> Foo for &'a mut isize {
+    fn bar(&self) {
+        baz();
+        //~^ ERROR cannot find function `baz`
+        bah;
+        //~^ ERROR cannot find value `bah`
+    }
+}
+
+impl Foo for Box<isize> {
+    fn bar(&self) {
+        baz();
+        //~^ ERROR cannot find function `baz`
+        bah;
+        //~^ ERROR cannot find value `bah`
+    }
+}
+
+fn main() {}