Rollup merge of #105945 - JohnTitor:issue-57404, r=compiler-errors
Add regression test for #57404 r? `@compiler-errors` Closes https://github.com/rust-lang/rust/issues/57404 Signed-off-by: Yuki Okushi <jtitor@2k36.org>
This commit is contained in:
commit
8db5dd4983
7
src/test/ui/typeck/issue-57404.rs
Normal file
7
src/test/ui/typeck/issue-57404.rs
Normal file
@ -0,0 +1,7 @@
|
|||||||
|
#![feature(unboxed_closures)]
|
||||||
|
#![feature(fn_traits)]
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let handlers: Option<Box<dyn for<'a> FnMut<&'a mut (), Output=()>>> = None;
|
||||||
|
handlers.unwrap().as_mut().call_mut(&mut ()); //~ ERROR: `&mut ()` is not a tuple
|
||||||
|
}
|
16
src/test/ui/typeck/issue-57404.stderr
Normal file
16
src/test/ui/typeck/issue-57404.stderr
Normal file
@ -0,0 +1,16 @@
|
|||||||
|
error[E0277]: `&mut ()` is not a tuple
|
||||||
|
--> $DIR/issue-57404.rs:6:41
|
||||||
|
|
|
||||||
|
LL | handlers.unwrap().as_mut().call_mut(&mut ());
|
||||||
|
| -------- -^^^^^^
|
||||||
|
| | |
|
||||||
|
| | the trait `Tuple` is not implemented for `&mut ()`
|
||||||
|
| | help: consider removing the leading `&`-reference
|
||||||
|
| required by a bound introduced by this call
|
||||||
|
|
|
||||||
|
note: required by a bound in `call_mut`
|
||||||
|
--> $SRC_DIR/core/src/ops/function.rs:LL:COL
|
||||||
|
|
||||||
|
error: aborting due to previous error
|
||||||
|
|
||||||
|
For more information about this error, try `rustc --explain E0277`.
|
Loading…
Reference in New Issue
Block a user