From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:02:58 +0200 Subject: Adding upstream version 1.64.0+dfsg1. Signed-off-by: Daniel Baumann --- src/test/ui/extern/extern-wrong-value-type.rs | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 src/test/ui/extern/extern-wrong-value-type.rs (limited to 'src/test/ui/extern/extern-wrong-value-type.rs') diff --git a/src/test/ui/extern/extern-wrong-value-type.rs b/src/test/ui/extern/extern-wrong-value-type.rs new file mode 100644 index 000000000..337865ec1 --- /dev/null +++ b/src/test/ui/extern/extern-wrong-value-type.rs @@ -0,0 +1,11 @@ +extern "C" fn f() { +} + +fn is_fn(_: F) where F: Fn() {} + +fn main() { + // extern functions are extern "C" fn + let _x: extern "C" fn() = f; // OK + is_fn(f); + //~^ ERROR expected a `Fn<()>` closure, found `extern "C" fn() {f}` +} -- cgit v1.2.3