diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-03-02 08:20:00 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-02 08:20:00 -0500 |
commit | 5a6b2d94d4c2ed93c2db136f5d00ea324e6c2a65 (patch) | |
tree | 53c3dc10dcf8934baf9667ee59c034bdc3c0e07f /components/script/lib.rs | |
parent | 19323e8f28f66dcbf77b73870d1b39a5967b4146 (diff) | |
parent | 14846d0567583d58510565c2223f81883f152262 (diff) | |
download | servo-5a6b2d94d4c2ed93c2db136f5d00ea324e6c2a65.tar.gz servo-5a6b2d94d4c2ed93c2db136f5d00ea324e6c2a65.zip |
Auto merge of #25781 - nox:fixzeal, r=jdm
Introduce a new type MaybeUnreflectedDom<T> (fixes #25701)
Diffstat (limited to 'components/script/lib.rs')
-rw-r--r-- | components/script/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/components/script/lib.rs b/components/script/lib.rs index c01fd6dbd60..1a3ba6a2557 100644 --- a/components/script/lib.rs +++ b/components/script/lib.rs @@ -2,6 +2,7 @@ * License, v. 2.0. If a copy of the MPL was not distributed with this * file, You can obtain one at https://mozilla.org/MPL/2.0/. */ +#![feature(box_into_raw_non_null)] #![feature(const_fn)] #![feature(core_intrinsics)] #![feature(drain_filter)] |