Home
last modified time | relevance | path

Searched refs:castable_to (Results 1 – 3 of 3) sorted by relevance

/DragonOS/kernel/crates/intertrait/tests/
H A Dcastable_to.rs40 castable_to! { Data => crate::Greet, Greet1, Greet2 }
/DragonOS/kernel/crates/intertrait/macros/src/
H A Dlib.rs134 pub fn castable_to(input: TokenStream) -> TokenStream { in castable_to() function
/DragonOS/kernel/crates/intertrait/
H A DREADME.md100 ### `castable_to!(Type => Trait1, Trait2)`
116 castable_to!(Data => Greet, std::fmt::Debug);
126 * Add `[sync]` flag to `#[cast_to]` and `castable_to!` as follows:
130 castable_to!(Type => [sync] Trait, Trait2);