summaryrefslogtreecommitdiffstats
path: root/third_party/rust/rental/tests/target_ty_hack.rs
diff options
context:
space:
mode:
Diffstat (limited to 'third_party/rust/rental/tests/target_ty_hack.rs')
-rw-r--r--third_party/rust/rental/tests/target_ty_hack.rs54
1 files changed, 54 insertions, 0 deletions
diff --git a/third_party/rust/rental/tests/target_ty_hack.rs b/third_party/rust/rental/tests/target_ty_hack.rs
new file mode 100644
index 0000000000..d98bd0d7b5
--- /dev/null
+++ b/third_party/rust/rental/tests/target_ty_hack.rs
@@ -0,0 +1,54 @@
+#[macro_use]
+extern crate rental;
+
+
+type MyVec<T> = Vec<T>;
+
+
+rental! {
+ pub mod rent_vec_slice {
+ use super::*;
+
+ #[rental]
+ pub struct OwnedSlice {
+ #[target_ty = "[u8]"]
+ buffer: MyVec<u8>,
+ slice: &'buffer [u8],
+ }
+
+ #[rental_mut]
+ pub struct OwnedMutSlice {
+ #[target_ty = "[u8]"]
+ buffer: MyVec<u8>,
+ slice: &'buffer mut [u8],
+ }
+ }
+}
+
+
+#[test]
+fn new() {
+ let vec = vec![1, 2, 3];
+ let _ = rent_vec_slice::OwnedSlice::new(vec, |slice| slice);
+}
+
+
+#[test]
+fn read() {
+ let vec = vec![1, 2, 3];
+ let rvec = rent_vec_slice::OwnedSlice::new(vec, |slice| slice);
+
+ assert_eq!(rvec.rent(|slice| slice[1]), 2);
+ assert_eq!(rvec.rent(|slice| slice[1]), rvec.rent(|slice| slice[1]));
+}
+
+
+#[test]
+fn write() {
+ let vec = vec![1, 2, 3];
+ let mut rvec = rent_vec_slice::OwnedMutSlice::new(vec, |slice| slice);
+
+ rvec.rent_mut(|slice| slice[1] = 4);
+ assert_eq!(rvec.rent(|slice| slice[1]), 4);
+ assert_eq!(rvec.rent(|slice| slice[1]), rvec.rent(|slice| slice[1]));
+}