summaryrefslogtreecommitdiffstats
path: root/src/test/ui/traits/vtable/issue-97381.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/traits/vtable/issue-97381.rs')
-rw-r--r--src/test/ui/traits/vtable/issue-97381.rs30
1 files changed, 30 insertions, 0 deletions
diff --git a/src/test/ui/traits/vtable/issue-97381.rs b/src/test/ui/traits/vtable/issue-97381.rs
new file mode 100644
index 000000000..393cf91ef
--- /dev/null
+++ b/src/test/ui/traits/vtable/issue-97381.rs
@@ -0,0 +1,30 @@
+use std::ops::Deref;
+trait MyTrait: Deref<Target = u32> {}
+struct MyStruct(u32);
+impl MyTrait for MyStruct {}
+impl Deref for MyStruct {
+ type Target = u32;
+
+ fn deref(&self) -> &Self::Target {
+ &self.0
+ }
+}
+fn get_concrete_value(i: u32) -> MyStruct {
+ MyStruct(i)
+}
+fn get_boxed_value(i: u32) -> Box<dyn MyTrait> {
+ Box::new(get_concrete_value(i))
+}
+fn main() {
+ let v = [1, 2, 3]
+ .iter()
+ .map(|i| get_boxed_value(*i))
+ .collect::<Vec<_>>();
+
+ let el = &v[0];
+
+ for _ in v {
+ //~^ ERROR cannot move out of `v` because it is borrowed
+ println!("{}", ***el > 0);
+ }
+}