From 987656f5096c89377d4b58cda5e659f21437001f Mon Sep 17 00:00:00 2001 From: Oli Scherer Date: Thu, 19 Dec 2024 10:25:22 +0000 Subject: Remove a duplicated check that doesn't do anything anymore. --- tests/ui/function-pointer/signature-mismatch.rs | 6 ++++++ tests/ui/function-pointer/signature-mismatch.stderr | 12 ++++++++++++ 2 files changed, 18 insertions(+) create mode 100644 tests/ui/function-pointer/signature-mismatch.rs create mode 100644 tests/ui/function-pointer/signature-mismatch.stderr (limited to 'tests/ui/function-pointer') diff --git a/tests/ui/function-pointer/signature-mismatch.rs b/tests/ui/function-pointer/signature-mismatch.rs new file mode 100644 index 00000000000..f269e9bf84b --- /dev/null +++ b/tests/ui/function-pointer/signature-mismatch.rs @@ -0,0 +1,6 @@ +//! This test used to hit an assertion instead of erroring and bailing out. + +fn main() { + let _ = [std::ops::Add::add, std::ops::Mul::mul, std::ops::Mul::mul as fn(_, &_)]; + //~^ ERROR: mismatched types +} diff --git a/tests/ui/function-pointer/signature-mismatch.stderr b/tests/ui/function-pointer/signature-mismatch.stderr new file mode 100644 index 00000000000..f02a576e511 --- /dev/null +++ b/tests/ui/function-pointer/signature-mismatch.stderr @@ -0,0 +1,12 @@ +error[E0308]: mismatched types + --> $DIR/signature-mismatch.rs:4:54 + | +LL | let _ = [std::ops::Add::add, std::ops::Mul::mul, std::ops::Mul::mul as fn(_, &_)]; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other + | + = note: expected fn pointer `fn(_, _) -> _` + found fn pointer `for<'a> fn(_, &'a _) -> ()` + +error: aborting due to 1 previous error + +For more information about this error, try `rustc --explain E0308`. -- cgit 1.4.1-3-g733a5