1 files changed, 115 insertions, 0 deletions
diff --git a/third_party/rust/rental/tests/complex.rs b/third_party/rust/rental/tests/complex.rs
new file mode 100644
index 0000000000..187e976807
--- /dev/null
+++ b/third_party/rust/rental/tests/complex.rs
@@ -0,0 +1,115 @@
+#[macro_use]
+extern crate rental;
+
+
+pub struct Foo {
+	i: i32,
+}
+
+pub struct Bar<'a> {
+	foo: &'a Foo,
+}
+
+pub struct Baz<'a: 'b, 'b> {
+	bar: &'b Bar<'a>
+}
+
+pub struct Qux<'a: 'b, 'b: 'c, 'c> {
+	baz: &'c Baz<'a, 'b>
+}
+
+pub struct Xyzzy<'a: 'b, 'b: 'c, 'c: 'd, 'd> {
+	qux: &'d Qux<'a, 'b, 'c>
+}
+
+
+impl Foo {
+	pub fn borrow<'a>(&'a self) -> Bar<'a> { Bar { foo: self } }
+	pub fn try_borrow<'a>(&'a self) -> Result<Bar<'a>, ()> { Ok(Bar { foo: self }) }
+	pub fn fail_borrow<'a>(&'a self) -> Result<Bar<'a>, ()> { Err(()) }
+}
+
+impl<'a> Bar<'a> {
+	pub fn borrow<'b>(&'b self) -> Baz<'a, 'b> { Baz { bar: self } }
+	pub fn try_borrow<'b>(&'b self) -> Result<Baz<'a, 'b>, ()> { Ok(Baz { bar: self }) }
+	pub fn fail_borrow<'b>(&'b self) -> Result<Baz<'a, 'b>, ()> { Err(()) }
+}
+
+impl<'a: 'b, 'b> Baz<'a, 'b> {
+	pub fn borrow<'c>(&'c self) -> Qux<'a, 'b, 'c> { Qux { baz: self } }
+	pub fn try_borrow<'c>(&'c self) -> Result<Qux<'a, 'b, 'c>, ()> { Ok(Qux { baz: self }) }
+	pub fn fail_borrow<'c>(&'c self) -> Result<Qux<'a, 'b, 'c>, ()> { Err(()) }
+}
+
+impl<'a: 'b, 'b: 'c, 'c> Qux<'a, 'b, 'c> {
+	pub fn borrow<'d>(&'d self) -> Xyzzy<'a, 'b, 'c, 'd> { Xyzzy { qux: self } }
+	pub fn try_borrow<'d>(&'d self) -> Result<Xyzzy<'a, 'b, 'c, 'd>, ()> { Ok(Xyzzy { qux: self }) }
+	pub fn fail_borrow<'d>(&'d self) -> Result<Xyzzy<'a, 'b, 'c, 'd>, ()> { Err(()) }
+}
+
+
+rental! {
+	mod rentals {
+		use super::*;
+
+		#[rental]
+		pub struct ComplexRent {
+			foo: Box<Foo>,
+			bar: Box<Bar<'foo>>,
+			baz: Box<Baz<'foo, 'bar>>,
+			qux: Box<Qux<'foo, 'bar, 'baz>>,
+			xyzzy: Xyzzy<'foo, 'bar, 'baz, 'qux>,
+		}
+	}
+}
+
+
+#[test]
+fn new() {
+	let foo = Foo { i: 5 };
+	let _ = rentals::ComplexRent::new(
+		Box::new(foo),
+		|foo| Box::new(foo.borrow()),
+		|bar, _| Box::new(bar.borrow()),
+		|baz, _, _| Box::new(baz.borrow()),
+		|qux, _, _, _| qux.borrow()
+	);
+
+	let foo = Foo { i: 5 };
+	let cr = rentals::ComplexRent::try_new(
+		Box::new(foo),
+		|foo| foo.try_borrow().map(|bar| Box::new(bar)),
+		|bar, _| bar.try_borrow().map(|baz| Box::new(baz)),
+		|baz, _, _| baz.try_borrow().map(|qux| Box::new(qux)),
+		|qux, _, _, _| qux.try_borrow()
+	);
+	assert!(cr.is_ok());
+
+	let foo = Foo { i: 5 };
+	let cr = rentals::ComplexRent::try_new(
+		Box::new(foo),
+		|foo| foo.try_borrow().map(|bar| Box::new(bar)),
+		|bar, _| bar.try_borrow().map(|baz| Box::new(baz)),
+		|baz, _, _| baz.try_borrow().map(|qux| Box::new(qux)),
+		|qux, _, _, _| qux.fail_borrow()
+	);
+	assert!(cr.is_err());
+}
+
+
+#[test]
+fn read() {
+	let foo = Foo { i: 5 };
+	let cr = rentals::ComplexRent::new(
+		Box::new(foo),
+		|foo| Box::new(foo.borrow()),
+		|bar, _| Box::new(bar.borrow()),
+		|baz, _, _| Box::new(baz.borrow()),
+		|qux, _, _, _| qux.borrow()
+	);
+	let i = cr.rent(|xyzzy| xyzzy.qux.baz.bar.foo.i);
+	assert_eq!(i, 5);
+
+	let iref = cr.ref_rent(|xyzzy| &xyzzy.qux.baz.bar.foo.i);
+	assert_eq!(*iref, 5);
+}