From 64d98f8ee037282c35007b64c2649055c56af1db Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:19:03 +0200
Subject: Merging upstream version 1.68.2+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 tests/ui/close-over-big-then-small-data.rs | 39 ++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 tests/ui/close-over-big-then-small-data.rs

(limited to 'tests/ui/close-over-big-then-small-data.rs')

diff --git a/tests/ui/close-over-big-then-small-data.rs b/tests/ui/close-over-big-then-small-data.rs
new file mode 100644
index 000000000..429b21e8b
--- /dev/null
+++ b/tests/ui/close-over-big-then-small-data.rs
@@ -0,0 +1,39 @@
+// run-pass
+
+#![allow(dead_code)]
+// If we use GEPi rather than GEP_tup_like when
+// storing closure data (as we used to do), the u64 would
+// overwrite the u16.
+
+struct Pair<A,B> {
+    a: A, b: B
+}
+
+struct Invoker<A> {
+    a: A,
+    b: u16,
+}
+
+trait Invokable<A> {
+    fn f(&self) -> (A, u16);
+}
+
+impl<A:Clone> Invokable<A> for Invoker<A> {
+    fn f(&self) -> (A, u16) {
+        (self.a.clone(), self.b)
+    }
+}
+
+fn f<A:Clone + 'static>(a: A, b: u16) -> Box<dyn Invokable<A>+'static> {
+    Box::new(Invoker {
+        a: a,
+        b: b,
+    }) as Box<dyn Invokable<A>+'static>
+}
+
+pub fn main() {
+    let (a, b) = f(22_u64, 44u16).f();
+    println!("a={} b={}", a, b);
+    assert_eq!(a, 22u64);
+    assert_eq!(b, 44u16);
+}
-- 
cgit v1.2.3