mirror of
https://github.com/servo/servo.git
synced 2025-07-23 15:23:42 +01:00
* Add `no_trace` option to JSTraceable derive * NoTrace wrapper * Port some types to no_trace schematics * Fixing my unsafe mistakes (not tracing traceables) * Add docs & safety guards for no_trace Safety guards (trait shenanigans) guarantees safety usage of `no_trace` * Port canvas_traits to no_trace * Port servo_media to no_trace * Port net_traits to no_trace * Port style to no_trace * Port webgpu to no_trace * Port script_traits to no_trace * Port canvas_traits, devtools_traits, embedder_traits, profile_traits to no_trace * unrooted_must_root lint in seperate file * Add trace_in_no_trace_lint as script_plugin * Composable types in must_not_have_traceable * Introduced HashMapTracedValues wrapper * `HashMap<NoTrace<K>,V>`->`HashMapTracedValues<K,V>` * Port rest of servo's types to no_trace * Port html5ever, euclid, mime and http to no_trace * Port remaining externals to no_trace * Port webxr and Arc<Mutex<_>> * Fix spelling in notrace doc
164 lines
3.6 KiB
Rust
164 lines
3.6 KiB
Rust
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* 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/. */
|
|
|
|
#[rustfmt::skip]
|
|
pub mod unrooted_must_root {
|
|
/**
|
|
```
|
|
#![feature(plugin, register_tool)]
|
|
#![plugin(script_plugins)]
|
|
#![register_tool(unrooted_must_root_lint)]
|
|
|
|
#[unrooted_must_root_lint::must_root] struct Foo(i32);
|
|
#[unrooted_must_root_lint::must_root] struct Bar(Foo);
|
|
|
|
fn foo1(_: &Foo) {}
|
|
fn foo2(_: &()) -> &Foo { unimplemented!() }
|
|
|
|
fn main() {}
|
|
```
|
|
*/
|
|
pub fn ok() {}
|
|
|
|
/**
|
|
```compile_fail
|
|
#![feature(plugin, register_tool)]
|
|
#![plugin(script_plugins)]
|
|
#![register_tool(unrooted_must_root_lint)]
|
|
|
|
#[unrooted_must_root_lint::must_root] struct Foo(i32);
|
|
struct Bar(Foo);
|
|
|
|
fn main() {}
|
|
```
|
|
*/
|
|
pub fn struct_field() {}
|
|
|
|
/**
|
|
```compile_fail
|
|
#![feature(plugin, register_tool)]
|
|
#![plugin(script_plugins)]
|
|
#![register_tool(unrooted_must_root_lint)]
|
|
|
|
#[unrooted_must_root_lint::must_root] struct Foo(i32);
|
|
|
|
fn foo1(_: Foo) {}
|
|
|
|
fn main() {}
|
|
```
|
|
*/
|
|
pub fn parameter() {}
|
|
|
|
/**
|
|
```compile_fail
|
|
#![feature(plugin, register_tool)]
|
|
#![plugin(script_plugins)]
|
|
#![register_tool(unrooted_must_root_lint)]
|
|
|
|
#[unrooted_must_root_lint::must_root] struct Foo(i32);
|
|
|
|
fn foo2() -> Foo { unimplemented!() }
|
|
|
|
fn main() {}
|
|
```
|
|
*/
|
|
pub fn return_type() {}
|
|
|
|
}
|
|
|
|
#[rustfmt::skip]
|
|
pub mod trace_in_no_trace_lint {
|
|
/// Fake jstraceable
|
|
pub trait JSTraceable {}
|
|
impl JSTraceable for i32 {}
|
|
|
|
/**
|
|
```
|
|
#![allow(deprecated)]
|
|
#![feature(plugin, register_tool)]
|
|
#![plugin(script_plugins)]
|
|
#![register_tool(trace_in_no_trace_lint)]
|
|
|
|
use script_plugins_tests::trace_in_no_trace_lint::JSTraceable;
|
|
|
|
#[trace_in_no_trace_lint::must_not_have_traceable] struct NoTrace<T>(T);
|
|
|
|
struct Bar;
|
|
|
|
struct Foo(NoTrace<Bar>);
|
|
|
|
fn main() {}
|
|
```
|
|
*/
|
|
pub fn ok() {}
|
|
|
|
/**
|
|
```compile_fail
|
|
#![allow(deprecated)]
|
|
#![feature(plugin, register_tool)]
|
|
#![plugin(script_plugins)]
|
|
#![register_tool(trace_in_no_trace_lint)]
|
|
|
|
use script_plugins_tests::trace_in_no_trace_lint::JSTraceable;
|
|
|
|
#[trace_in_no_trace_lint::must_not_have_traceable] struct NoTrace<T>(T);
|
|
|
|
struct Bar;
|
|
impl JSTraceable for Bar {}
|
|
|
|
struct Foo(NoTrace<Bar>);
|
|
|
|
fn main() {}
|
|
```
|
|
*/
|
|
pub fn works() {}
|
|
|
|
/**
|
|
```
|
|
#![allow(deprecated)]
|
|
#![feature(plugin, register_tool)]
|
|
#![plugin(script_plugins)]
|
|
#![register_tool(trace_in_no_trace_lint)]
|
|
|
|
use script_plugins_tests::trace_in_no_trace_lint::JSTraceable;
|
|
|
|
// second generic argument must not be traceable
|
|
#[trace_in_no_trace_lint::must_not_have_traceable(1)]
|
|
struct NoTraceComposable<Traceable, NoTraceable> {
|
|
t: Traceable,
|
|
n: NoTraceable,
|
|
}
|
|
|
|
// this is ok u32 is not traceable
|
|
struct Foo(NoTraceComposable<i32, u32>);
|
|
|
|
fn main() {}
|
|
```
|
|
*/
|
|
pub fn composable_ok() {}
|
|
|
|
/**
|
|
```
|
|
#![allow(deprecated)]
|
|
#![feature(plugin, register_tool)]
|
|
#![plugin(script_plugins)]
|
|
#![register_tool(trace_in_no_trace_lint)]
|
|
|
|
use script_plugins_tests::trace_in_no_trace_lint::JSTraceable;
|
|
|
|
// second generic argument must not be traceable
|
|
#[trace_in_no_trace_lint::must_not_have_traceable(1)]
|
|
struct NoTraceComposable<Traceable, NoTraceable> {
|
|
t: Traceable,
|
|
n: NoTraceable,
|
|
}
|
|
|
|
// this is not ok i32 is traceable
|
|
struct Foo(NoTraceComposable<u32, i32>);
|
|
|
|
fn main() {}
|
|
```
|
|
*/
|
|
pub fn composable_works() {}
|
|
}
|