Coccinelle docs: confusing example

[RalfJung]

The docs at https://rust-for-linux.com/coccinelle-for-rust have this example:

Merging some lifetimes in tokio:

@@
identifier f, P, p;
type T1, T2;
@@
- f<P: T1>(p: P) -> T2
+ f(p: impl T1) -> T2
     { ... }

However, there is not a single lifetime in this example, so it is unclear why this is described as "merging some lifetimes".

[ojeda]

Cc @JuliaLawall @TathagataRoy1278

[JuliaLawall]

Thanks for the feedback. I think that the example changed and the text remained the same. We will come up with something better.

[TathagataRoy1278]

Thank you for the feedback, I fixed the title in #14 .
Please let me know if I should add anything else.

Thank you.

[RalfJung]

That looks good, thanks :)

[ojeda]

Now fixed in the live webpage.

Thanks Ralf!