From 218caa410aa38c29984be31a5229b9fa717560ee Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:19:13 +0200 Subject: Merging upstream version 1.68.2+dfsg1. Signed-off-by: Daniel Baumann --- tests/ui/extern/extern-wrong-value-type.rs | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 tests/ui/extern/extern-wrong-value-type.rs (limited to 'tests/ui/extern/extern-wrong-value-type.rs') diff --git a/tests/ui/extern/extern-wrong-value-type.rs b/tests/ui/extern/extern-wrong-value-type.rs new file mode 100644 index 000000000..337865ec1 --- /dev/null +++ b/tests/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