Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-04 13:10:20 +01:00
Code Issues Projects Releases Packages Wiki Activity

Remove unused #![feature(…)] attributes

Browse source
This commit is contained in:
Simon Sapin 2020-04-15 15:01:46 +02:00
parent ce9f22a5e4
commit fbfe86fffe
3 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

1
components/script/lib.rs
View file

@ -7,7 +7,6 @@
#![feature(const_transmute)] #![feature(const_transmute)]
#![feature(core_intrinsics)] #![feature(core_intrinsics)]
#![feature(drain_filter)] #![feature(drain_filter)]
#![feature(inner_deref)]
#![feature(plugin)] #![feature(plugin)]
#![feature(register_tool)] #![feature(register_tool)]
#![deny(unsafe_code)] #![deny(unsafe_code)]

1
components/script_layout_interface/lib.rs
View file

@ -7,7 +7,6 @@
//! to depend on script. //! to depend on script.
#![deny(unsafe_code)] #![deny(unsafe_code)]
#![feature(box_into_raw_non_null)]
#[macro_use] #[macro_use]
extern crate html5ever; extern crate html5ever;

2
ports/glutin/main.rs
View file

@ -15,8 +15,6 @@
//! //!
//! [glutin]: https://github.com/tomaka/glutin //! [glutin]: https://github.com/tomaka/glutin
#![feature(core_intrinsics)]
#[cfg(not(target_os = "android"))] #[cfg(not(target_os = "android"))]
include!("main2.rs"); include!("main2.rs");