summaryrefslogtreecommitdiffstats
path: root/src/test/ui/close-over-big-then-small-data.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
commit698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch)
tree173a775858bd501c378080a10dca74132f05bc50 /src/test/ui/close-over-big-then-small-data.rs
parentInitial commit. (diff)
downloadrustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz
rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/close-over-big-then-small-data.rs')
-rw-r--r--src/test/ui/close-over-big-then-small-data.rs39
1 files changed, 39 insertions, 0 deletions
diff --git a/src/test/ui/close-over-big-then-small-data.rs b/src/test/ui/close-over-big-then-small-data.rs
new file mode 100644
index 000000000..429b21e8b
--- /dev/null
+++ b/src/test/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);
+}