mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

internal: test diagnostic severeties and presense of fixes

Browse Source
This commit is contained in:
Aleksey Kladov 2021-06-14 22:06:28 +03:00
parent 58712088ac
commit 4cfc767d7f
16 changed files with 155 additions and 140 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/ide_diagnostics/src/handlers/break_outside_of_loop.rs
View File

@ -23,7 +23,7 @@ fn break_outside_of_loop() {
check_diagnostics(
r#"
fn foo() { break; }
//^^^^^ break outside of loop
//^^^^^ error: break outside of loop
"#,
);
}

26
crates/ide_diagnostics/src/handlers/inactive_code.rs
View File

@ -49,26 +49,26 @@ fn f() {
// The three g̶e̶n̶d̶e̶r̶s̶ statements:
#[cfg(a)] fn f() {} // Item statement
//^^^^^^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled
//^^^^^^^^^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: a is disabled
#[cfg(a)] {} // Expression statement
//^^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled
//^^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: a is disabled
#[cfg(a)] let x = 0; // let statement
//^^^^^^^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled
//^^^^^^^^^^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: a is disabled
abc(#[cfg(a)] 0);
//^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled
//^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: a is disabled
let x = Struct {
#[cfg(a)] f: 0,
//^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled
//^^^^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: a is disabled
};
match () {
() => (),
#[cfg(a)] () => (),
//^^^^^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled
//^^^^^^^^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: a is disabled
}
#[cfg(a)] 0 // Trailing expression of block
//^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled
//^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: a is disabled
}
"#,
);
@ -81,16 +81,16 @@ fn inactive_item() {
check(
r#"
#[cfg(no)] pub fn f() {}
//^^^^^^^^^^^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: no is disabled
//^^^^^^^^^^^^^^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: no is disabled
#[cfg(no)] #[cfg(no2)] mod m;
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: no and no2 are disabled
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: no and no2 are disabled
#[cfg(all(not(a), b))] enum E {}
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: b is disabled
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: b is disabled
#[cfg(feature = "std")] use std;
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: feature = "std" is disabled
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: feature = "std" is disabled
"#,
);
}
@ -102,14 +102,14 @@ fn inactive_via_cfg_attr() {
check(
r#"
#[cfg_attr(not(never), cfg(no))] fn f() {}
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: no is disabled
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: no is disabled
#[cfg_attr(not(never), cfg(not(no)))] fn f() {}
#[cfg_attr(never, cfg(no))] fn g() {}
#[cfg_attr(not(never), inline, cfg(no))] fn h() {}
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: no is disabled
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ weak: code is inactive due to #[cfg] directives: no is disabled
"#,
);
}

42
crates/ide_diagnostics/src/handlers/incorrect_case.rs
View File

@ -149,7 +149,7 @@ fn test_single_incorrect_case_diagnostic_in_function_name_issue_6970() {
check_diagnostics(
r#"
fn FOO() {}
// ^^^ Function `FOO` should have snake_case name, e.g. `foo`
// ^^^ 💡 weak: Function `FOO` should have snake_case name, e.g. `foo`
"#,
);
check_fix(r#"fn FOO$0() {}"#, r#"fn foo() {}"#);
@ -160,7 +160,7 @@ fn incorrect_function_name() {
check_diagnostics(
r#"
fn NonSnakeCaseName() {}
// ^^^^^^^^^^^^^^^^ Function `NonSnakeCaseName` should have snake_case name, e.g. `non_snake_case_name`
// ^^^^^^^^^^^^^^^^ 💡 weak: Function `NonSnakeCaseName` should have snake_case name, e.g. `non_snake_case_name`
"#,
);
}
@ -170,10 +170,10 @@ fn incorrect_function_params() {
check_diagnostics(
r#"
fn foo(SomeParam: u8) {}
// ^^^^^^^^^ Parameter `SomeParam` should have snake_case name, e.g. `some_param`
// ^^^^^^^^^ 💡 weak: Parameter `SomeParam` should have snake_case name, e.g. `some_param`
fn foo2(ok_param: &str, CAPS_PARAM: u8) {}
// ^^^^^^^^^^ Parameter `CAPS_PARAM` should have snake_case name, e.g. `caps_param`
// ^^^^^^^^^^ 💡 weak: Parameter `CAPS_PARAM` should have snake_case name, e.g. `caps_param`
"#,
);
}
@ -184,9 +184,9 @@ fn incorrect_variable_names() {
r#"
fn foo() {
let SOME_VALUE = 10;
// ^^^^^^^^^^ Variable `SOME_VALUE` should have snake_case name, e.g. `some_value`
// ^^^^^^^^^^ 💡 weak: Variable `SOME_VALUE` should have snake_case name, e.g. `some_value`
let AnotherValue = 20;
// ^^^^^^^^^^^^ Variable `AnotherValue` should have snake_case name, e.g. `another_value`
// ^^^^^^^^^^^^ 💡 weak: Variable `AnotherValue` should have snake_case name, e.g. `another_value`
}
"#,
);
@ -197,10 +197,10 @@ fn incorrect_struct_names() {
check_diagnostics(
r#"
struct non_camel_case_name {}
// ^^^^^^^^^^^^^^^^^^^ Structure `non_camel_case_name` should have CamelCase name, e.g. `NonCamelCaseName`
// ^^^^^^^^^^^^^^^^^^^ 💡 weak: Structure `non_camel_case_name` should have CamelCase name, e.g. `NonCamelCaseName`
struct SCREAMING_CASE {}
// ^^^^^^^^^^^^^^ Structure `SCREAMING_CASE` should have CamelCase name, e.g. `ScreamingCase`
// ^^^^^^^^^^^^^^ 💡 weak: Structure `SCREAMING_CASE` should have CamelCase name, e.g. `ScreamingCase`
"#,
);
}
@ -219,7 +219,7 @@ fn incorrect_struct_field() {
check_diagnostics(
r#"
struct SomeStruct { SomeField: u8 }
// ^^^^^^^^^ Field `SomeField` should have snake_case name, e.g. `some_field`
// ^^^^^^^^^ 💡 weak: Field `SomeField` should have snake_case name, e.g. `some_field`
"#,
);
}
@ -229,10 +229,10 @@ fn incorrect_enum_names() {
check_diagnostics(
r#"
enum some_enum { Val(u8) }
// ^^^^^^^^^ Enum `some_enum` should have CamelCase name, e.g. `SomeEnum`
// ^^^^^^^^^ 💡 weak: Enum `some_enum` should have CamelCase name, e.g. `SomeEnum`
enum SOME_ENUM {}
// ^^^^^^^^^ Enum `SOME_ENUM` should have CamelCase name, e.g. `SomeEnum`
// ^^^^^^^^^ 💡 weak: Enum `SOME_ENUM` should have CamelCase name, e.g. `SomeEnum`
"#,
);
}
@ -251,7 +251,7 @@ fn incorrect_enum_variant_name() {
check_diagnostics(
r#"
enum SomeEnum { SOME_VARIANT(u8) }
// ^^^^^^^^^^^^ Variant `SOME_VARIANT` should have CamelCase name, e.g. `SomeVariant`
// ^^^^^^^^^^^^ 💡 weak: Variant `SOME_VARIANT` should have CamelCase name, e.g. `SomeVariant`
"#,
);
}
@ -261,7 +261,7 @@ fn incorrect_const_name() {
check_diagnostics(
r#"
const some_weird_const: u8 = 10;
// ^^^^^^^^^^^^^^^^ Constant `some_weird_const` should have UPPER_SNAKE_CASE name, e.g. `SOME_WEIRD_CONST`
// ^^^^^^^^^^^^^^^^ 💡 weak: Constant `some_weird_const` should have UPPER_SNAKE_CASE name, e.g. `SOME_WEIRD_CONST`
"#,
);
}
@ -271,7 +271,7 @@ fn incorrect_static_name() {
check_diagnostics(
r#"
static some_weird_const: u8 = 10;
// ^^^^^^^^^^^^^^^^ Static variable `some_weird_const` should have UPPER_SNAKE_CASE name, e.g. `SOME_WEIRD_CONST`
// ^^^^^^^^^^^^^^^^ 💡 weak: Static variable `some_weird_const` should have UPPER_SNAKE_CASE name, e.g. `SOME_WEIRD_CONST`
"#,
);
}
@ -281,13 +281,13 @@ fn fn_inside_impl_struct() {
check_diagnostics(
r#"
struct someStruct;
// ^^^^^^^^^^ Structure `someStruct` should have CamelCase name, e.g. `SomeStruct`
// ^^^^^^^^^^ 💡 weak: Structure `someStruct` should have CamelCase name, e.g. `SomeStruct`
impl someStruct {
fn SomeFunc(&self) {
// ^^^^^^^^ Function `SomeFunc` should have snake_case name, e.g. `some_func`
// ^^^^^^^^ 💡 weak: Function `SomeFunc` should have snake_case name, e.g. `some_func`
let WHY_VAR_IS_CAPS = 10;
// ^^^^^^^^^^^^^^^ Variable `WHY_VAR_IS_CAPS` should have snake_case name, e.g. `why_var_is_caps`
// ^^^^^^^^^^^^^^^ 💡 weak: Variable `WHY_VAR_IS_CAPS` should have snake_case name, e.g. `why_var_is_caps`
}
}
"#,
@ -319,7 +319,7 @@ enum Option { Some, None }
fn main() {
match Option::None {
SOME_VAR @ None => (),
// ^^^^^^^^ Variable `SOME_VAR` should have snake_case name, e.g. `some_var`
// ^^^^^^^^ 💡 weak: Variable `SOME_VAR` should have snake_case name, e.g. `some_var`
Some => (),
}
}
@ -421,11 +421,11 @@ fn bug_traits_arent_checked() {
check_diagnostics(
r#"
trait BAD_TRAIT {
// ^^^^^^^^^ Trait `BAD_TRAIT` should have CamelCase name, e.g. `BadTrait`
// ^^^^^^^^^ 💡 weak: Trait `BAD_TRAIT` should have CamelCase name, e.g. `BadTrait`
fn BAD_FUNCTION();
// ^^^^^^^^^^^^ Function `BAD_FUNCTION` should have snake_case name, e.g. `bad_function`
// ^^^^^^^^^^^^ 💡 weak: Function `BAD_FUNCTION` should have snake_case name, e.g. `bad_function`
fn BadFunction();
// ^^^^^^^^^^^^ Function `BadFunction` should have snake_case name, e.g. `bad_function`
// ^^^^^^^^^^^^ 💡 weak: Function `BadFunction` should have snake_case name, e.g. `bad_function`
}
"#,
);

20
crates/ide_diagnostics/src/handlers/macro_error.rs
View File

@ -27,7 +27,7 @@ fn builtin_macro_fails_expansion() {
macro_rules! include { () => {} }
include!("doesntexist");
//^^^^^^^^^^^^^^^^^^^^^^^^ failed to load file `doesntexist`
//^^^^^^^^^^^^^^^^^^^^^^^^ error: failed to load file `doesntexist`
"#,
);
}
@ -66,7 +66,7 @@ macro_rules! env { () => {} }
macro_rules! concat { () => {} }
include!(concat!(env!("OUT_DIR"), "/out.rs"));
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `OUT_DIR` not set, enable "run build scripts" to fix
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ error: `OUT_DIR` not set, enable "run build scripts" to fix
"#,
);
}
@ -108,23 +108,23 @@ fn main() {
// Test a handful of built-in (eager) macros:
include!(invalid);
//^^^^^^^^^^^^^^^^^ could not convert tokens
//^^^^^^^^^^^^^^^^^ error: could not convert tokens
include!("does not exist");
//^^^^^^^^^^^^^^^^^^^^^^^^^^ failed to load file `does not exist`
//^^^^^^^^^^^^^^^^^^^^^^^^^^ error: failed to load file `does not exist`
env!(invalid);
//^^^^^^^^^^^^^ could not convert tokens
//^^^^^^^^^^^^^ error: could not convert tokens
env!("OUT_DIR");
//^^^^^^^^^^^^^^^ `OUT_DIR` not set, enable "run build scripts" to fix
//^^^^^^^^^^^^^^^ error: `OUT_DIR` not set, enable "run build scripts" to fix
compile_error!("compile_error works");
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ compile_error works
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ error: compile_error works
// Lazy:
format_args!();
//^^^^^^^^^^^^^^ no rule matches input tokens
//^^^^^^^^^^^^^^ error: no rule matches input tokens
}
"#,
);
@ -141,7 +141,7 @@ fn f() {
m!();
m!(hi);
//^^^^^^ leftover tokens
//^^^^^^ error: leftover tokens
}
"#,
);
@ -166,7 +166,7 @@ macro_rules! outer {
fn f() {
outer!();
} //^^^^^^^^ leftover tokens
} //^^^^^^^^ error: leftover tokens
"#,
)
}

22
crates/ide_diagnostics/src/handlers/mismatched_arg_count.rs
View File

@ -26,7 +26,7 @@ fn simple_free_fn_zero() {
r#"
fn zero() {}
fn f() { zero(1); }
//^^^^^^^ expected 0 arguments, found 1
//^^^^^^^ error: expected 0 arguments, found 1
"#,
);
@ -44,7 +44,7 @@ fn simple_free_fn_one() {
r#"
fn one(arg: u8) {}
fn f() { one(); }
//^^^^^ expected 1 argument, found 0
//^^^^^ error: expected 1 argument, found 0
"#,
);
@ -65,7 +65,7 @@ impl S { fn method(&self) {} }
fn f() {
S::method();
} //^^^^^^^^^^^ expected 1 argument, found 0
} //^^^^^^^^^^^ error: expected 1 argument, found 0
"#,
);
@ -91,7 +91,7 @@ impl S { fn method(&self, arg: u8) {} }
fn f() {
S.method();
} //^^^^^^^^^^ expected 1 argument, found 0
} //^^^^^^^^^^ error: expected 1 argument, found 0
"#,
);
@ -131,7 +131,7 @@ fn tuple_struct() {
struct Tup(u8, u16);
fn f() {
Tup(0);
} //^^^^^^ expected 2 arguments, found 1
} //^^^^^^ error: expected 2 arguments, found 1
"#,
)
}
@ -143,7 +143,7 @@ fn enum_variant() {
enum En { Variant(u8, u16), }
fn f() {
En::Variant(0);
} //^^^^^^^^^^^^^^ expected 2 arguments, found 1
} //^^^^^^^^^^^^^^ error: expected 2 arguments, found 1
"#,
)
}
@ -162,9 +162,9 @@ impl Foo {
fn new() {
Foo::Bar(0);
Foo::Bar(0, 1);
//^^^^^^^^^^^^^^ expected 1 argument, found 2
//^^^^^^^^^^^^^^ error: expected 1 argument, found 2
Foo::Bar();
//^^^^^^^^^^ expected 1 argument, found 0
//^^^^^^^^^^ error: expected 1 argument, found 0
}
}
"#,
@ -185,7 +185,7 @@ fn f() {
unsafe {
fixed(0);
fixed(0, 1);
//^^^^^^^^^^^ expected 1 argument, found 2
//^^^^^^^^^^^ error: expected 1 argument, found 2
varargs(0);
varargs(0, 1);
varargs2();
@ -204,10 +204,10 @@ fn arg_count_lambda() {
fn main() {
let f = |()| ();
f();
//^^^ expected 1 argument, found 0
//^^^ error: expected 1 argument, found 0
f(());
f((), ());
//^^^^^^^^^ expected 1 argument, found 2
//^^^^^^^^^ error: expected 1 argument, found 2
}
"#,
)

4
crates/ide_diagnostics/src/handlers/missing_fields.rs
View File

@ -19,7 +19,7 @@
// let a = A { a: 10 };
// ```
pub(crate) fn missing_fields(ctx: &DiagnosticsContext<'_>, d: &hir::MissingFields) -> Diagnostic {
let mut message = String::from("Missing structure fields:\n");
let mut message = String::from("missing structure fields:\n");
for field in &d.missed_fields {
format_to!(message, "- {}\n", field);
}
@ -85,7 +85,7 @@ fn missing_record_pat_field_diagnostic() {
struct S { foo: i32, bar: () }
fn baz(s: S) {
let S { foo: _ } = s;
//^ Missing structure fields:
//^ error: missing structure fields:
//| - bar
}
"#,

96
crates/ide_diagnostics/src/handlers/missing_match_arms.rs
View File

@ -31,9 +31,9 @@ fn empty_tuple() {
r#"
fn main() {
match () { }
//^^ missing match arm
//^^ error: missing match arm
match (()) { }
//^^^^ missing match arm
//^^^^ error: missing match arm
match () { _ => (), }
match () { () => (), }
@ -49,7 +49,7 @@ fn tuple_of_two_empty_tuple() {
r#"
fn main() {
match ((), ()) { }
//^^^^^^^^ missing match arm
//^^^^^^^^ error: missing match arm
match ((), ()) { ((), ()) => (), }
}
@ -63,21 +63,21 @@ fn boolean() {
r#"
fn test_main() {
match false { }
//^^^^^ missing match arm
//^^^^^ error: missing match arm
match false { true => (), }
//^^^^^ missing match arm
//^^^^^ error: missing match arm
match (false, true) {}
//^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^ error: missing match arm
match (false, true) { (true, true) => (), }
//^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^ error: missing match arm
match (false, true) {
//^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^ error: missing match arm
(false, true) => (),
(false, false) => (),
(true, false) => (),
}
match (false, true) { (true, _x) => (), }
//^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^ error: missing match arm
match false { true => (), false => (), }
match (false, true) {
@ -116,11 +116,11 @@ fn tuple_of_tuple_and_bools() {
r#"
fn main() {
match (false, ((), false)) {}
//^^^^^^^^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^^^^^^^^ error: missing match arm
match (false, ((), false)) { (true, ((), true)) => (), }
//^^^^^^^^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^^^^^^^^ error: missing match arm
match (false, ((), false)) { (true, _) => (), }
//^^^^^^^^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^^^^^^^^ error: missing match arm
match (false, ((), false)) {
(true, ((), true)) => (),
@ -146,12 +146,12 @@ enum Either { A, B, }
fn main() {
match Either::A { }
//^^^^^^^^^ missing match arm
//^^^^^^^^^ error: missing match arm
match Either::B { Either::A => (), }
//^^^^^^^^^ missing match arm
//^^^^^^^^^ error: missing match arm
match &Either::B {
//^^^^^^^^^^ missing match arm
//^^^^^^^^^^ error: missing match arm
Either::A => (),
}
@ -174,9 +174,9 @@ enum Either { A(bool), B }
fn main() {
match Either::B { }
//^^^^^^^^^ missing match arm
//^^^^^^^^^ error: missing match arm
match Either::B {
//^^^^^^^^^ missing match arm
//^^^^^^^^^ error: missing match arm
Either::A(true) => (), Either::B => ()
}
@ -207,7 +207,7 @@ enum Either { A(bool), B(bool, bool) }
fn main() {
match Either::A(false) {
//^^^^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^^^^ error: missing match arm
Either::A(_) => (),
Either::B(false, _) => (),
}
@ -352,7 +352,7 @@ fn main() {
Either::A => (),
}
match loop { break Foo::A } {
//^^^^^^^^^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^^^^^^^^^ error: missing match arm
Either::A => (),
}
match loop { break Foo::A } {
@ -390,19 +390,19 @@ enum Either { A { foo: bool }, B }
fn main() {
let a = Either::A { foo: true };
match a { }
//^ missing match arm
//^ error: missing match arm
match a { Either::A { foo: true } => () }
//^ missing match arm
//^ error: missing match arm
match a {
Either::A { } => (),
//^^^^^^^^^ Missing structure fields:
//^^^^^^^^^ error: missing structure fields:
// | - foo
Either::B => (),
}
match a {
//^ missing match arm
//^ error: missing match arm
Either::A { } => (),
} //^^^^^^^^^ Missing structure fields:
} //^^^^^^^^^ error: missing structure fields:
// | - foo
match a {
@ -431,7 +431,7 @@ enum Either {
fn main() {
let a = Either::A { foo: true, bar: () };
match a {
//^ missing match arm
//^ error: missing match arm
Either::A { bar: (), foo: false } => (),
Either::A { foo: true, bar: () } => (),
}
@ -458,12 +458,12 @@ enum Either {
fn main() {
let a = Either::B;
match a {
//^ missing match arm
//^ error: missing match arm
Either::A { foo: true, .. } => (),
Either::B => (),
}
match a {
//^ missing match arm
//^ error: missing match arm
Either::A { .. } => (),
}
@ -493,14 +493,14 @@ enum Either {
fn main() {
match Either::B {
//^^^^^^^^^ missing match arm
//^^^^^^^^^ error: missing match arm
Either::A(true, .., true) => (),
Either::A(true, .., false) => (),
Either::A(false, .., false) => (),
Either::B => (),
}
match Either::B {
//^^^^^^^^^ missing match arm
//^^^^^^^^^ error: missing match arm
Either::A(true, .., true) => (),
Either::A(true, .., false) => (),
Either::A(.., true) => (),
@ -537,7 +537,7 @@ fn enum_(never: Never) {
}
fn enum_ref(never: &Never) {
match never {}
//^^^^^ missing match arm
//^^^^^ error: missing match arm
}
fn bang(never: !) {
match never {}
@ -561,7 +561,7 @@ fn main() {
Some(never) => match never {},
}
match Option::<Never>::None {
//^^^^^^^^^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^^^^^^^^^ error: missing match arm
Option::Some(_never) => {},
}
}
@ -575,7 +575,7 @@ fn tuple_of_bools_with_ellipsis_at_end_missing_arm() {
r#"
fn main() {
match (false, true, false) {
//^^^^^^^^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^^^^^^^^ error: missing match arm
(false, ..) => (),
}
}"#,
@ -588,7 +588,7 @@ fn tuple_of_bools_with_ellipsis_at_beginning_missing_arm() {
r#"
fn main() {
match (false, true, false) {
//^^^^^^^^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^^^^^^^^ error: missing match arm
(.., false) => (),
}
}"#,
@ -601,7 +601,7 @@ fn tuple_of_bools_with_ellipsis_in_middle_missing_arm() {
r#"
fn main() {
match (false, true, false) {
//^^^^^^^^^^^^^^^^^^^^ missing match arm
//^^^^^^^^^^^^^^^^^^^^ error: missing match arm
(true, .., false) => (),
}
}"#,
@ -614,11 +614,11 @@ fn record_struct() {
r#"struct Foo { a: bool }
fn main(f: Foo) {
match f {}
//^ missing match arm
//^ error: missing match arm
match f { Foo { a: true } => () }
//^ missing match arm
//^ error: missing match arm
match &f { Foo { a: true } => () }
//^^ missing match arm
//^^ error: missing match arm
match f { Foo { a: _ } => () }
match f {
Foo { a: true } => (),
@ -639,9 +639,9 @@ fn tuple_struct() {
r#"struct Foo(bool);
fn main(f: Foo) {
match f {}
//^ missing match arm
//^ error: missing match arm
match f { Foo(true) => () }
//^ missing match arm
//^ error: missing match arm
match f {
Foo(true) => (),
Foo(false) => (),
@ -657,7 +657,7 @@ fn unit_struct() {
r#"struct Foo;
fn main(f: Foo) {
match f {}
//^ missing match arm
//^ error: missing match arm
match f { Foo => () }
}
"#,
@ -670,9 +670,9 @@ fn record_struct_ellipsis() {
r#"struct Foo { foo: bool, bar: bool }
fn main(f: Foo) {
match f { Foo { foo: true, .. } => () }
//^ missing match arm
//^ error: missing match arm
match f {
//^ missing match arm
//^ error: missing match arm
Foo { foo: true, .. } => (),
Foo { bar: false, .. } => ()
}
@ -693,7 +693,7 @@ fn internal_or() {
fn main() {
enum Either { A(bool), B }
match Either::B {
//^^^^^^^^^ missing match arm
//^^^^^^^^^ error: missing match arm
Either::A(true | false) => (),
}
}
@ -715,7 +715,7 @@ fn main(v: S) {
match v { S{..} => {} }
match v { _ => {} }
match v { }
//^ missing match arm
//^ error: missing match arm
}
"#,
);
@ -731,7 +731,7 @@ fn main() {
false => {}
}
match true { _x @ true => {} }
//^^^^ missing match arm
//^^^^ error: missing match arm
}
"#,
);
@ -786,12 +786,12 @@ fn _local() {
fn main() {
match E::A { _ => {} }
match E::A {
//^^^^ missing match arm
//^^^^ error: missing match arm
E::A => {}
E::B => {}
}
match E::A {
//^^^^ missing match arm
//^^^^ error: missing match arm
E::A | E::B => {}
}
}
@ -810,7 +810,7 @@ fn main() {
false => {}
}
match true {
//^^^^ missing match arm
//^^^^ error: missing match arm
true if false => {}
false => {}
}

10
crates/ide_diagnostics/src/handlers/missing_unsafe.rs
View File

@ -23,7 +23,7 @@ fn main() {
let x = &5 as *const usize;
unsafe { let y = *x; }
let z = *x;
} //^^ this operation is unsafe and requires an unsafe function or block
} //^^ error: this operation is unsafe and requires an unsafe function or block
"#,
)
}
@ -48,9 +48,9 @@ unsafe fn unsafe_fn() {
fn main() {
unsafe_fn();
//^^^^^^^^^^^ this operation is unsafe and requires an unsafe function or block
//^^^^^^^^^^^ error: this operation is unsafe and requires an unsafe function or block
HasUnsafe.unsafe_fn();
//^^^^^^^^^^^^^^^^^^^^^ this operation is unsafe and requires an unsafe function or block
//^^^^^^^^^^^^^^^^^^^^^ error: this operation is unsafe and requires an unsafe function or block
unsafe {
unsafe_fn();
HasUnsafe.unsafe_fn();
@ -72,7 +72,7 @@ struct Ty {
fn main() {
let x = STATIC_MUT.a;
//^^^^^^^^^^ this operation is unsafe and requires an unsafe function or block
//^^^^^^^^^^ error: this operation is unsafe and requires an unsafe function or block
unsafe {
let x = STATIC_MUT.a;
}
@ -93,7 +93,7 @@ fn no_missing_unsafe_diagnostic_with_safe_intrinsic() {
fn main() {
let _ = bitreverse(12);
let _ = floorf32(12.0);
//^^^^^^^^^^^^^^ this operation is unsafe and requires an unsafe function or block
//^^^^^^^^^^^^^^ error: this operation is unsafe and requires an unsafe function or block
}
"#,
);

4
crates/ide_diagnostics/src/handlers/no_such_field.rs
View File

@ -119,11 +119,11 @@ struct S { foo: i32, bar: () }
impl S {
fn new() -> S {
S {
//^ Missing structure fields:
//^ 💡 error: missing structure fields:
//| - bar
foo: 92,
baz: 62,
//^^^^^^^ no such field
//^^^^^^^ 💡 error: no such field
}
}
}

2
crates/ide_diagnostics/src/handlers/remove_this_semicolon.rs
View File

@ -49,7 +49,7 @@ fn missing_semicolon() {
check_diagnostics(
r#"
fn test() -> i32 { 123; }
//^^^ remove this semicolon
//^^^ 💡 error: remove this semicolon
"#,
);
}

14
crates/ide_diagnostics/src/handlers/replace_filter_map_next_with_find_map.rs
View File

@ -91,8 +91,8 @@ fn replace_filter_map_next_with_find_map2() {
check_diagnostics(
r#"
fn foo() {
let m = [1, 2, 3].iter().filter_map(|x| if *x == 2 { Some (4) } else { None }).next();
} //^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ replace filter_map(..).next() with find_map(..)
let m = [1, 2, 3].iter().filter_map(|x| Some(92)).next();
} //^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 💡 weak: replace filter_map(..).next() with find_map(..)
"#,
);
}
@ -104,7 +104,7 @@ fn replace_filter_map_next_with_find_map_no_diagnostic_without_next() {
fn foo() {
let m = [1, 2, 3]
.iter()
.filter_map(|x| if *x == 2 { Some (4) } else { None })
.filter_map(|x| Some(92))
.len();
}
"#,
@ -118,7 +118,7 @@ fn replace_filter_map_next_with_find_map_no_diagnostic_with_intervening_methods(
fn foo() {
let m = [1, 2, 3]
.iter()
.filter_map(|x| if *x == 2 { Some (4) } else { None })
.filter_map(|x| Some(92))
.map(|x| x + 2)
.len();
}
@ -133,7 +133,7 @@ fn replace_filter_map_next_with_find_map_no_diagnostic_if_not_in_chain() {
fn foo() {
let m = [1, 2, 3]
.iter()
.filter_map(|x| if *x == 2 { Some (4) } else { None });
.filter_map(|x| Some(92));
let n = m.next();
}
"#,
@ -148,7 +148,7 @@ fn replace_with_wind_map() {
use core::iter::Iterator;
use core::option::Option::{self, Some, None};
fn foo() {
let m = [1, 2, 3].iter().$0filter_map(|x| if *x == 2 { Some (4) } else { None }).next();
let m = [1, 2, 3].iter().$0filter_map(|x| Some(92)).next();
}
//- /core/lib.rs crate:core
pub mod option {
@ -171,7 +171,7 @@ fn next(&mut self) -> i32 { 7 }
use core::iter::Iterator;
use core::option::Option::{self, Some, None};
fn foo() {
let m = [1, 2, 3].iter().find_map(|x| if *x == 2 { Some (4) } else { None });
let m = [1, 2, 3].iter().find_map(|x| Some(92));
}
"#,
)

4
crates/ide_diagnostics/src/handlers/unresolved_extern_crate.rs
View File

@ -25,7 +25,7 @@ fn unresolved_extern_crate() {
//- /main.rs crate:main deps:core
extern crate core;
extern crate doesnotexist;
//^^^^^^^^^^^^^^^^^^^^^^^^^^ unresolved extern crate
//^^^^^^^^^^^^^^^^^^^^^^^^^^ error: unresolved extern crate
//- /lib.rs crate:core
"#,
);
@ -38,7 +38,7 @@ fn extern_crate_self_as() {
r#"
//- /lib.rs
extern crate doesnotexist;
//^^^^^^^^^^^^^^^^^^^^^^^^^^ unresolved extern crate
//^^^^^^^^^^^^^^^^^^^^^^^^^^ error: unresolved extern crate
// Should not error.
extern crate self as foo;
struct Foo;

18
crates/ide_diagnostics/src/handlers/unresolved_import.rs
View File

@ -30,7 +30,7 @@ fn unresolved_import() {
r#"
use does_exist;
use does_not_exist;
//^^^^^^^^^^^^^^ unresolved import
//^^^^^^^^^^^^^^ error: unresolved import
mod does_exist {}
"#,
@ -43,18 +43,18 @@ fn unresolved_import_in_use_tree() {
check_diagnostics(
r#"
use does_exist::{Exists, DoesntExist};
//^^^^^^^^^^^ unresolved import
//^^^^^^^^^^^ error: unresolved import
use {does_not_exist::*, does_exist};
//^^^^^^^^^^^^^^^^^ unresolved import
//^^^^^^^^^^^^^^^^^ error: unresolved import
use does_not_exist::{
a,
//^ unresolved import
//^ error: unresolved import
b,
//^ unresolved import
//^ error: unresolved import
c,
//^ unresolved import
//^ error: unresolved import
};
mod does_exist {
@ -71,18 +71,18 @@ fn dedup_unresolved_import_from_unresolved_crate() {
//- /main.rs crate:main
mod a {
extern crate doesnotexist;
//^^^^^^^^^^^^^^^^^^^^^^^^^^ unresolved extern crate
//^^^^^^^^^^^^^^^^^^^^^^^^^^ error: unresolved extern crate
// Should not error, since we already errored for the missing crate.
use doesnotexist::{self, bla, *};
use crate::doesnotexist;
//^^^^^^^^^^^^^^^^^^^ unresolved import
//^^^^^^^^^^^^^^^^^^^ error: unresolved import
}
mod m {
use super::doesnotexist;
//^^^^^^^^^^^^^^^^^^^ unresolved import
//^^^^^^^^^^^^^^^^^^^ error: unresolved import
}
"#,
);

8
crates/ide_diagnostics/src/handlers/unresolved_macro_call.rs
View File

@ -40,7 +40,7 @@ fn unresolved_macro_diag() {
r#"
fn f() {
m!();
} //^ unresolved macro `m!`
} //^ error: unresolved macro `m!`
"#,
);
@ -51,7 +51,7 @@ fn test_unresolved_macro_range() {
check_diagnostics(
r#"
foo::bar!(92);
//^^^ unresolved macro `foo::bar!`
//^^^ error: unresolved macro `foo::bar!`
"#,
);
}
@ -63,7 +63,7 @@ fn unresolved_legacy_scope_macro() {
macro_rules! m { () => {} }
m!(); m2!();
//^^ unresolved macro `self::m2!`
//^^ error: unresolved macro `self::m2!`
"#,
);
}
@ -77,7 +77,7 @@ mod mac {
macro_rules! m { () => {} } }
self::m!(); self::m2!();
//^^ unresolved macro `self::m2!`
//^^ error: unresolved macro `self::m2!`
"#,
);
}

2
crates/ide_diagnostics/src/handlers/unresolved_module.rs
View File

@ -50,7 +50,7 @@ fn unresolved_module() {
//- /lib.rs
mod foo;
mod bar;
//^^^^^^^^ unresolved module
//^^^^^^^^ 💡 error: unresolved module
mod baz {}
//- /foo.rs
"#,

21
crates/ide_diagnostics/src/lib.rs
View File

@ -235,7 +235,7 @@ mod tests {
use stdx::trim_indent;
use test_utils::{assert_eq_text, extract_annotations};
use crate::DiagnosticsConfig;
use crate::{DiagnosticsConfig, Severity};
/// Takes a multi-file input fixture with annotated cursor positions,
/// and checks that:
@ -331,8 +331,23 @@ pub(crate) fn check_diagnostics_with_config(config: DiagnosticsConfig, ra_fixtur
super::diagnostics(&db, &config, &AssistResolveStrategy::All, file_id);
let expected = extract_annotations(&*db.file_text(file_id));
let mut actual =
diagnostics.into_iter().map(|d| (d.range, d.message)).collect::<Vec<_>>();
let mut actual = diagnostics
.into_iter()
.map(|d| {
let mut annotation = String::new();
if let Some(fixes) = &d.fixes {
assert!(!fixes.is_empty());
annotation.push_str("💡 ")
}
annotation.push_str(match d.severity {
Severity::Error => "error",
Severity::WeakWarning => "weak",
});
annotation.push_str(": ");
annotation.push_str(&d.message);
(d.range, annotation)
})
.collect::<Vec<_>>();
actual.sort_by_key(|(range, _)| range.start());
assert_eq!(expected, actual);
}