Home
last modified time | relevance | path

Searched refs:Greet (Results 1 – 11 of 11) sorted by relevance

/DragonOS/kernel/crates/intertrait/tests/
H A Don-struct.rs4 #[cast_to(Greet)]
9 trait Greet { interface
13 impl Greet for Data {
25 let greet = source.cast::<dyn Greet>(); in test_cast_to_on_struct()
H A Don-enum.rs4 #[cast_to(Greet)]
13 trait Greet { interface
17 impl Greet for Data {
29 let greet = source.cast::<dyn Greet>(); in test_cast_to_on_enum()
H A Don-type-multi-traits.rs4 #[cast_to(Greet, Greet1, Greet2)]
9 trait Greet { interface
13 impl Greet for Data {
46 let greet = source.cast::<dyn Greet>(); in test_multi_traits_on_struct()
H A Dcastable_to.rs8 trait Greet { interface
12 impl Greet for Data {
40 castable_to! { Data => crate::Greet, Greet1, Greet2 }
47 let greet = source.cast::<dyn Greet>(); in test_multi_traits_on_struct()
H A Don-trait-impl.rs8 trait Greet { interface
13 impl Greet for Data {
25 let greet = source.cast::<dyn Greet>(); in test_cast_to_on_trait_impl()
/DragonOS/kernel/crates/intertrait/tests/ui/
H A Dunknown-flag.rs5 #[cast_to([sync, send] Greet)]
10 trait Greet { interface
14 impl Greet for Data {
25 let greet = source.cast::<dyn Greet>(); in main()
H A Dduplicate-flags.rs5 #[cast_to([sync, sync] Greet)]
10 trait Greet { trait
14 impl Greet for Data {
25 let greet = source.cast::<dyn Greet>(); in main()
H A Don-generic-type.rs5 #[cast_to(Greet)]
12 trait Greet { interface
16 impl<T: 'static> Greet for Data<T> {
29 let greet = source.cast::<dyn Greet>(); in main()
H A Dunknown-flag.stderr4 5 | #[cast_to([sync, send] Greet)]
H A Dduplicate-flags.stderr4 5 | #[cast_to([sync, sync] Greet)]
/DragonOS/kernel/crates/intertrait/
H A DREADME.md41 trait Greet {
46 impl Greet for Data {
57 let greet = source.cast::<dyn Greet>();
71 trait Greet { fn greet(&self); }
74 impl Greet for Data {
87 trait Greet { fn greet(&self); }
89 impl Greet for Data {
95 #[cast_to(Greet, std::fmt::Debug)]
108 trait Greet { fn greet(&self); }
109 impl Greet for Data {
[all …]