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 /crates | |
parent | 08c220ab2c4651f38d3029898706f2a996bf2c6b (diff) |
minor: dead code
Diffstat (limited to 'crates')
-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::{ |