language-servers/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-10-02 14:51:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

internal: Normalize field type after substituting

Browse source
This commit is contained in:
iDawer 2021-11-27 18:13:47 +05:00
parent 1280961b51
commit b17aefb83a
5 changed files with 50 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

24
crates/ide_diagnostics/src/handlers/missing_match_arms.rs
View file

@ -863,6 +863,30 @@ fn main() {
);
}
#[test]
fn normalize_field_ty() {
check_diagnostics_no_bails(
r"
trait Trait { type Projection; }
enum E {Foo, Bar}
struct A;
impl Trait for A { type Projection = E; }
struct Next<T: Trait>(T::Projection);
static __: () = {
let n: Next<A> = Next(E::Foo);
match n { Next(E::Foo) => {} }
// ^ error: missing match arm
match n { Next(E::Foo | E::Bar) => {} }
match n { Next(E::Foo | _ ) => {} }
match n { Next(_ | E::Bar) => {} }
match n { _ | Next(E::Bar) => {} }
match &n { Next(E::Foo | E::Bar) => {} }
match &n { _ | Next(E::Bar) => {} }
};",
);
}
mod false_negatives {
//! The implementation of match checking here is a work in progress. As we roll this out, we
//! prefer false negatives to false positives (ideally there would be no false positives). This