Possible name clash between concrete parameters and trait impls (`i0`, `i1`, ..)

```rust
fn f<I: Clone>(i0: u8) {
}
```
[Open this code snippet in the playground](https://hax-playground.cryspen.com/#fstar/latest-main/gist=8852b66d8f4f8c2f93bc443651cd9ee3)

In the example above the implementation of `Clone` for `I` in F* is named `i0` which clashes with the name of the function parameter.