Adding upstream version 86.0.1.upstream/86.0.1upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 52 insertions, 0 deletions

diff --git a/third_party/rust/rental/tests/covariant.rs b/third_party/rust/rental/tests/covariant.rs
new file mode 100644
index 0000000000..545c2714ae
--- /dev/null
+++ b/third_party/rust/rental/tests/covariant.rs
@@ -0,0 +1,52 @@
+#[macro_use]
+extern crate rental;
+
+
+//use std::marker::PhantomData;
+
+
+pub struct Foo {
+	i: i32,
+}
+
+
+//pub struct Invariant<'a> {
+//	iref: &'a i32,
+//	inv: PhantomData<&'a mut &'a ()>,
+//}
+
+
+rental! {
+	mod rentals {
+		use super::*;
+
+		#[rental(covariant)]
+		pub struct SimpleRef {
+			foo: Box<Foo>,
+			iref: &'foo i32,
+		}
+
+		#[rental_mut(covariant)]
+		pub struct SimpleMut {
+			foo: Box<Foo>,
+			iref: &'foo mut i32,
+		}
+
+//		#[rental(covariant)]
+//		pub struct ShouldBreak {
+//			foo: Box<Foo>,
+//			inv: Invariant<'foo>,
+//		}
+	}
+}
+
+
+#[test]
+fn borrow() {
+	let foo = Foo { i: 5 };
+	let fr = rentals::SimpleRef::new(Box::new(foo), |foo| &foo.i);
+	let b = fr.all();
+	assert_eq!(**b.iref, 5);
+}
+
+