Incorrect "mismatched types [E0308]" error

Environment

• IntelliJ Rust plugin version: 0.2.110.5731-193-dev
• Rust toolchain version: 1.39 stable
• IDE name and version: IntelliJ IDEA 2019.3 beta
• Operating system: Windows 10 x64

Problem description

Plugin gives incorrect E0308. New experimental macro engine is enabled.

Steps to reproduce

fn main() {
    eat_slice(&[]); // error highlights empty slice ref
}

fn eat_slice(slice: &[&str]) {}

Error is:

mismatched types [E0308]
expected `&[&str]`, found `&[<unknown>]`

Code compiles without error.

[vlad20012]

@AlyoshaVasilieva Thanks for the report! I fixed it in #4621.

@alexschrod please, link the project you are working on or reduce it to a minimal example. And your issue is different

[alexschrod]

@vlad20012 I dunno, whatever you did to fix this issue also appears to have fixed mine. 🤷‍♂ Or at the very least, the issue I had is gone again with the latest release.