diff options
| author | Aleksey Kladov <[email protected]> | 2021-06-17 18:51:34 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2021-06-17 18:51:34 +0100 |
| commit | 82c7afc70354c15454207ef8ffd2f7274330c3ed (patch) | |
| tree | 3160691ee62289817d8dd5ccfb262e8ba56d084d | |
| parent | 08c220ab2c4651f38d3029898706f2a996bf2c6b (diff) | |
minor: dead code
| -rw-r--r-- | crates/ide_db/src/helpers/famous_defs_fixture.rs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/crates/ide_db/src/helpers/famous_defs_fixture.rs b/crates/ide_db/src/helpers/famous_defs_fixture.rs index 5e0d514cf..d26b7162e 100644 --- a/crates/ide_db/src/helpers/famous_defs_fixture.rs +++ b/crates/ide_db/src/helpers/famous_defs_fixture.rs | |||
| @@ -20,13 +20,6 @@ pub mod convert { | |||
| 20 | } | 20 | } |
| 21 | } | 21 | } |
| 22 | 22 | ||
| 23 | pub mod option { | ||
| 24 | pub enum Option<T> { | ||
| 25 | None, | ||
| 26 | Some(T), | ||
| 27 | } | ||
| 28 | } | ||
| 29 | |||
| 30 | pub mod prelude { | 23 | pub mod prelude { |
| 31 | pub mod rust_2018 { | 24 | pub mod rust_2018 { |
| 32 | pub use crate::{ | 25 | pub use crate::{ |