1 files changed, 41 insertions, 0 deletions
diff --git a/tests/ui/traits/impl.rs b/tests/ui/traits/impl.rs
new file mode 100644
index 000000000..f512d91eb
--- /dev/null
+++ b/tests/ui/traits/impl.rs
@@ -0,0 +1,41 @@
+// run-pass
+// Test calling methods on an impl for a bare trait.
+
+// aux-build:traitimpl.rs
+
+extern crate traitimpl;
+use traitimpl::Bar;
+
+static mut COUNT: usize = 1;
+
+trait T {
+    fn t(&self) {}
+}
+
+impl<'a> dyn T+'a {
+    fn foo(&self) {
+        unsafe { COUNT *= 2; }
+    }
+    fn bar() {
+        unsafe { COUNT *= 3; }
+    }
+}
+
+impl T for isize {}
+
+struct Foo;
+impl<'a> Bar<'a> for Foo {}
+
+fn main() {
+    let x: &dyn T = &42;
+
+    x.foo();
+    <dyn T>::foo(x);
+    <dyn T>::bar();
+
+    unsafe { assert_eq!(COUNT, 12); }
+
+    // Cross-crait case
+    let x: &dyn Bar = &Foo;
+    x.bar();
+}