Closed
Description
openedon Dec 18, 2023
rust-analyzer version: current master 0ed815fa
rustc version:
rustc 1.76.0-nightly (6a6287132 2023-12-17)
binary: rustc
commit-hash: 6a62871320e262661bb1a0ea7f8aec9d3abeddf2
commit-date: 2023-12-17
host: aarch64-apple-darwin
release: 1.76.0-nightly
LLVM version: 17.0.6
trait Boba {
type Foo;
}
impl<T: Eq + std::hash::Hash> Boba for T {
type Foo = String;
}
fn test() {
let a: <(bool, bool) as Boba>::Foo;
// ^ currently: <(isize, isize) as Boba>::Foo. This should've been `String`.
let a: <isize as Boba>::Foo;
// ^ currently: String
}I could've sworn that this worked before but I might be wrong.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment