Function request: adding Size Bound by default to generic virtual text

Function request: adding Size Bound by default to generic virtual text

Why are we doing this?

In Rust we specified that the Size Trait bound constraint is implemented for all generic T's, so we should also display it on our own virtual text type prompt instead of popping a T and jumping the Size Trait.

Suppose we have the following generic signature:

impl<T> SomethingOrNothing<T> {}

At this stage

when the mouse moves over the generics, it looks like this:

I would like to be able to add a trait bound of T: SIze to the virtual text, as shown below:

Similarly, when we hold down Ctrl to move to generic T, it looks like this:

After the change, as shown below:

More examples

impl<T: Clone> SomethingOrNothing<T> {}

Display of virtual text

After the change ===>

Locate the implementation that renders generic parameters and trait bounds in rust-analyzer's virtual text, then inspect how hover and Ctrl-navigation displays are assembled. Reproduce the examples from the issue and verify that implicit T: Sized appears alongside explicit bounds without changing the navigation targets.