[Feature Request]: Code action to suggestion types that satisfy a set of traits using Chalk

I've come across a case where I have a generic struct that whose type parameter needs to satisfy two traits.

pub struct FileReader<R: Read + Seek> { /* private fields */ }

These are standard traits and I can find their implementors individually. Then I can see which implementors are common and use one of them.

However this made me consider if there's a way to query the IDE for possible structs/types that implement a given set of traits. This might be useful when generics have many trait conditions and/or a trait has many implementors.

I've asked this on SO and rust internals. There it was discussed that chalk, the new trait resolver, can potentially answer queries like this.

Now since rust-analyzer has integrated with chalk. Is it possible to answer queries like this? Kind of like an auto-complete code action, where the the analyzer can make recommendations.

The issue names no files or tests. Start by reviewing rust-analyzer's Chalk integration and the code-action handling relevant to type and trait resolution; then determine whether queries for types satisfying multiple traits can be represented. Done means the analyzer can offer such recommendations with coverage for the requested behavior.