Paths to extension trait functions in diagnostics can be confusing about rust HOT 2 OPEN

@vporton Is there a take function on tokio::sync::MutexGuard?

Not seeing one here? https://docs.rs/tokio/latest/tokio/sync/struct.MutexGuard.html

from rust.

To be clear, @vporton, what you said would in fact be true if there was in fact a function to call. The detail is that by specifying the path to the type, you still perform lookup on the type, which will prefer to look up an inherent impl, and then will look for a trait impl, in that order, as demonstrated by this Playground: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=a6ddeec5f1848915158f205f5b1ffff0

Is there a diagnostic you would prefer? We obviously cannot emit a diagnostic every time someone gives the path to a type and it performs lookup that reaches a trait implementation, as very often that will be intentional. I suppose we could diagnose this specific recursion case?

from rust.