bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Rollup merge of #138998 - rperier:donot_suggest_to_use_impl_trait_in_closure_params, r=Noratrieb

Browse source 
Don't suggest the use of  `impl Trait` in closure parameter

Fixes #138932
This commit is contained in:
Stuart Cook 2025-04-11 13:31:46 +10:00 • committed by GitHub
commit 573ebf011e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 38 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

11
compiler/rustc_trait_selection/src/error_reporting/traits/suggestions.rs
View file

@ -3018,12 +3018,23 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
[] => span_bug!(ty.span, "trait object with no traits: {ty:?}"),
};
let needs_parens = traits.len() != 1;
// Don't recommend impl Trait as a closure argument
if let Some(hir_id) = hir_id
&& matches!(
self.tcx.parent_hir_node(hir_id),
hir::Node::Item(hir::Item {
kind: hir::ItemKind::Fn { .. },
..
})
)
{
err.span_suggestion_verbose(
span,
"you can use `impl Trait` as the argument type",
"impl ",
Applicability::MaybeIncorrect,
);
}
let sugg = if !needs_parens {
vec![(span.shrink_to_lo(), format!("&{kw}"))]
} else {

5
tests/ui/traits/dont-suggest-impl-as-closure-arg.rs Normal file
View file

@ -0,0 +1,5 @@
// Suggestion to use impl trait in closure parameter is invalid, see issue 138932
fn main() {
let c = |f: dyn Fn()| f();
//~^ ERROR: the size for values of type `(dyn Fn() + 'static)` cannot be known at compilation time
}

16
tests/ui/traits/dont-suggest-impl-as-closure-arg.stderr Normal file
View file

@ -0,0 +1,16 @@
error[E0277]: the size for values of type `(dyn Fn() + 'static)` cannot be known at compilation time
--> $DIR/dont-suggest-impl-as-closure-arg.rs:3:17
|
LL | let c = |f: dyn Fn()| f();
| ^^^^^^^^ doesn't have a size known at compile-time
|
= help: the trait `Sized` is not implemented for `(dyn Fn() + 'static)`
= help: unsized fn params are gated as an unstable feature
help: function arguments must have a statically known size, borrowed types always have a known size
|
LL | let c = |f: &dyn Fn()| f();
| +
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0277`.