1 files changed, 41 insertions, 0 deletions
diff --git a/tests/ui/nll/issue-32382-index-assoc-type-with-lifetime.rs b/tests/ui/nll/issue-32382-index-assoc-type-with-lifetime.rs
new file mode 100644
index 000000000..a8a8e6930
--- /dev/null
+++ b/tests/ui/nll/issue-32382-index-assoc-type-with-lifetime.rs
@@ -0,0 +1,41 @@
+// check-pass
+
+// rust-lang/rust#32382: Borrow checker used to complain about
+// `foobar_3` in the `impl` below, presumably due to some interaction
+// between the use of a lifetime in the associated type and the use of
+// the overloaded operator[]. This regression test ensures that we do
+// not resume complaining about it in the future.
+
+
+use std::marker::PhantomData;
+use std::ops::Index;
+
+pub trait Context: Clone {
+    type Container: ?Sized;
+    fn foobar_1( container: &Self::Container ) -> &str;
+    fn foobar_2( container: &Self::Container ) -> &str;
+    fn foobar_3( container: &Self::Container ) -> &str;
+}
+
+#[derive(Clone)]
+struct Foobar<'a> {
+    phantom: PhantomData<&'a ()>
+}
+
+impl<'a> Context for Foobar<'a> {
+    type Container = [&'a str];
+
+    fn foobar_1<'r>( container: &'r [&'a str] ) -> &'r str {
+        container[0]
+    }
+
+    fn foobar_2<'r>( container: &'r Self::Container ) -> &'r str {
+        container.index( 0 )
+    }
+
+    fn foobar_3<'r>( container: &'r Self::Container ) -> &'r str {
+        container[0]
+    }
+}
+
+fn main() { }