From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:02:58 +0200
Subject: Adding upstream version 1.64.0+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 .../unboxed-closures-vtable-mismatch.rs            | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs

(limited to 'src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs')

diff --git a/src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs b/src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs
new file mode 100644
index 000000000..8dbe3472e
--- /dev/null
+++ b/src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs
@@ -0,0 +1,22 @@
+#![feature(unboxed_closures)]
+
+use std::ops::FnMut;
+
+fn to_fn_mut<A, F: FnMut<A>>(f: F) -> F { f }
+
+fn call_it<F: FnMut(isize, isize) -> isize>(y: isize, mut f: F) -> isize {
+    //~^ NOTE required by this bound in `call_it`
+    //~| NOTE required by a bound in `call_it`
+    f(2, y)
+}
+
+pub fn main() {
+    let f = to_fn_mut(|x: usize, y: isize| -> isize { (x as isize) + y });
+    //~^ NOTE found signature defined here
+    let z = call_it(3, f);
+    //~^ ERROR type mismatch
+    //~| NOTE expected due to this
+    //~| NOTE expected closure signature `fn(isize, _) -> _`
+    //~| NOTE required by a bound introduced by this call
+    println!("{}", z);
+}
-- 
cgit v1.2.3