diff options
| author | Jonas Schievink <[email protected]> | 2020-10-23 18:27:04 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2020-10-23 18:27:04 +0100 |
| commit | 93dc6f511bedb7c18319bbf3efe47a7db4b2aa53 (patch) | |
| tree | c12c45372521a19b24c749e41f7472906afff037 /crates/hir_def/src/body/tests.rs | |
| parent | dd8a75b2cf46a967b3449652fe17c19a8fcc4e41 (diff) | |
Diagnose #[cfg]s in bodies
Diffstat (limited to 'crates/hir_def/src/body/tests.rs')
| -rw-r--r-- | crates/hir_def/src/body/tests.rs | 75 |
1 files changed, 75 insertions, 0 deletions
diff --git a/crates/hir_def/src/body/tests.rs b/crates/hir_def/src/body/tests.rs new file mode 100644 index 000000000..f07df5cee --- /dev/null +++ b/crates/hir_def/src/body/tests.rs | |||
| @@ -0,0 +1,75 @@ | |||
| 1 | use base_db::{fixture::WithFixture, SourceDatabase}; | ||
| 2 | use test_utils::mark; | ||
| 3 | |||
| 4 | use crate::{test_db::TestDB, ModuleDefId}; | ||
| 5 | |||
| 6 | use super::*; | ||
| 7 | |||
| 8 | fn lower(ra_fixture: &str) -> Arc<Body> { | ||
| 9 | let (db, file_id) = crate::test_db::TestDB::with_single_file(ra_fixture); | ||
| 10 | |||
| 11 | let krate = db.crate_graph().iter().next().unwrap(); | ||
| 12 | let def_map = db.crate_def_map(krate); | ||
| 13 | let module = def_map.modules_for_file(file_id).next().unwrap(); | ||
| 14 | let module = &def_map[module]; | ||
| 15 | let fn_def = match module.scope.declarations().next().unwrap() { | ||
| 16 | ModuleDefId::FunctionId(it) => it, | ||
| 17 | _ => panic!(), | ||
| 18 | }; | ||
| 19 | |||
| 20 | db.body(fn_def.into()) | ||
| 21 | } | ||
| 22 | |||
| 23 | fn check_diagnostics(ra_fixture: &str) { | ||
| 24 | let db: TestDB = TestDB::with_files(ra_fixture); | ||
| 25 | db.check_diagnostics(); | ||
| 26 | } | ||
| 27 | |||
| 28 | #[test] | ||
| 29 | fn your_stack_belongs_to_me() { | ||
| 30 | mark::check!(your_stack_belongs_to_me); | ||
| 31 | lower( | ||
| 32 | " | ||
| 33 | macro_rules! n_nuple { | ||
| 34 | ($e:tt) => (); | ||
| 35 | ($($rest:tt)*) => {{ | ||
| 36 | (n_nuple!($($rest)*)None,) | ||
| 37 | }}; | ||
| 38 | } | ||
| 39 | fn main() { n_nuple!(1,2,3); } | ||
| 40 | ", | ||
| 41 | ); | ||
| 42 | } | ||
| 43 | |||
| 44 | #[test] | ||
| 45 | fn cfg_diagnostics() { | ||
| 46 | check_diagnostics( | ||
| 47 | r" | ||
| 48 | fn f() { | ||
| 49 | // The three g̶e̶n̶d̶e̶r̶s̶ statements: | ||
| 50 | |||
| 51 | #[cfg(a)] fn f() {} // Item statement | ||
| 52 | //^^^^^^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled | ||
| 53 | #[cfg(a)] {} // Expression statement | ||
| 54 | //^^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled | ||
| 55 | #[cfg(a)] let x = 0; // let statement | ||
| 56 | //^^^^^^^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled | ||
| 57 | |||
| 58 | abc(#[cfg(a)] 0); | ||
| 59 | //^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled | ||
| 60 | let x = Struct { | ||
| 61 | #[cfg(a)] f: 0, | ||
| 62 | //^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled | ||
| 63 | }; | ||
| 64 | match () { | ||
| 65 | () => (), | ||
| 66 | #[cfg(a)] () => (), | ||
| 67 | //^^^^^^^^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled | ||
| 68 | } | ||
| 69 | |||
| 70 | #[cfg(a)] 0 // Trailing expression of block | ||
| 71 | //^^^^^^^^^^^ code is inactive due to #[cfg] directives: a is disabled | ||
| 72 | } | ||
| 73 | ", | ||
| 74 | ); | ||
| 75 | } | ||