1 files changed, 24 insertions, 0 deletions
diff --git a/tests/ui/traits/trait-object-lifetime-bounds-57156.rs b/tests/ui/traits/trait-object-lifetime-bounds-57156.rs
new file mode 100644
index 00000000000..8f5bef7fe13
--- /dev/null
+++ b/tests/ui/traits/trait-object-lifetime-bounds-57156.rs
@@ -0,0 +1,24 @@
+// https://github.com/rust-lang/rust/issues/57156
+//@ check-pass
+
+trait Foo<Args> {
+    type Output;
+}
+
+trait Bar<'a, T>: for<'s> Foo<&'s T, Output=bool> {
+    fn cb(&self) -> Box<dyn Bar<'a, T, Output=bool>>;
+}
+
+impl<'s> Foo<&'s ()> for () {
+    type Output = bool;
+}
+
+impl<'a> Bar<'a, ()> for () {
+    fn cb(&self) -> Box<dyn Bar<'a, (), Output=bool>> {
+        Box::new(*self)
+    }
+}
+
+fn main() {
+    let _t = ().cb();
+}