1 files changed, 26 insertions, 0 deletions
diff --git a/tests/ui/lifetimes/issue-55796.rs b/tests/ui/lifetimes/issue-55796.rs
new file mode 100644
index 000000000..a7b27a999
--- /dev/null
+++ b/tests/ui/lifetimes/issue-55796.rs
@@ -0,0 +1,26 @@
+pub trait EdgeTrait<N> {
+    fn target(&self) -> N;
+}
+
+pub trait Graph<'a> {
+    type Node;
+    type Edge: EdgeTrait<Self::Node>;
+    type NodesIter: Iterator<Item = Self::Node> + 'a;
+    type EdgesIter: Iterator<Item = Self::Edge> + 'a;
+
+    fn nodes(&'a self) -> Self::NodesIter;
+    fn out_edges(&'a self, u: &Self::Node) -> Self::EdgesIter;
+    fn in_edges(&'a self, u: &Self::Node) -> Self::EdgesIter;
+
+    fn out_neighbors(&'a self, u: &Self::Node) -> Box<dyn Iterator<Item = Self::Node>> {
+        Box::new(self.out_edges(u).map(|e| e.target()))
+        //~^ ERROR lifetime may not live long enough
+    }
+
+    fn in_neighbors(&'a self, u: &Self::Node) -> Box<dyn Iterator<Item = Self::Node>> {
+        Box::new(self.in_edges(u).map(|e| e.target()))
+        //~^ ERROR lifetime may not live long enough
+    }
+}
+
+fn main() {}