1 files changed, 33 insertions, 0 deletions

diff --git a/tests/ui/issues/issue-15858.rs b/tests/ui/issues/issue-15858.rs
new file mode 100644
index 000000000..8d65afc48
--- /dev/null
+++ b/tests/ui/issues/issue-15858.rs
@@ -0,0 +1,33 @@
+// run-pass
+static mut DROP_RAN: bool = false;
+
+trait Bar {
+    fn do_something(&mut self);
+}
+
+struct BarImpl;
+
+impl Bar for BarImpl {
+    fn do_something(&mut self) {}
+}
+
+
+struct Foo<B: Bar>(#[allow(unused_tuple_struct_fields)] B);
+
+impl<B: Bar> Drop for Foo<B> {
+    fn drop(&mut self) {
+        unsafe {
+            DROP_RAN = true;
+        }
+    }
+}
+
+
+fn main() {
+    {
+       let _x: Foo<BarImpl> = Foo(BarImpl);
+    }
+    unsafe {
+        assert_eq!(DROP_RAN, true);
+    }
+}