In both these cases, the mutability or the generic parameter is not dealt with when showing spotlight impls:   https://github.com/rust-lang/rust/pull/74370#discussion_r455233545 We should do something similar to what we do for auto traits and blanket impls.