Incorrect syntax when suggesting the use of Fn* traits as supertraits

[xmh0511]

Code

`
Box<dyn Fn(Vec<AstValueExpr>)->AstValueExpr + Clone>
`

Current output

The diagnosis suggests writing this code:
only auto traits can be used as additional traits in a trait object
consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: Fn<(Vec<AstValueExpr>, )>+ Clone {}`

Desired output

However, the use of `Fn*` series traits should be used as `Fn(Vec<AstValueExpr>)`, that is, the correct suggestion should be `trait NewTrait: Fn(Vec<AstValueExpr>)->AstValueExpr + Clone{}`

Rationale and extra context

Other cases

No response

Anything else?

No response

[clubby789]

A copy-pastable example:

pub fn a() -> Box<dyn Fn(u8) + Clone> {
    todo!()
}

suggests
trait NewTrait: Fn<(u8,)> + Clone {}
The code to print the trait path doesn't account for the Fn* trait syntax sugar

[compiler-errors]

Oops, this shouldn't have closed