diff options
Diffstat (limited to 'crates/ide_db')
-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::{ |