Odd types in mismatch #18115
Labels
A-diagnostics
diagnostics / error reporting
A-ty
type system / type inference / traits / method resolution
C-enhancement
Category: enhancement
Just an observation which might be unactionable but the snippet above yields
expected &[&()], found &[!; 1]rust-analyzer[E0308](https://doc.rust-lang.org/stable/error_codes/E0308.html)
. Notably the never type in there is odd. I'd expect&[(); 1]
given we know the type ofx
.The text was updated successfully, but these errors were encountered: