1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
use co3::{Tag, ffi}; struct Wrapper<T>(T); #[derive(Tag)] #[tag(u8, unsafe(1))] struct Value; ffi! { #![unsafe(extern("C"))] fn nested<dyn(u8) T = u16>(move value: Wrapper<T>) where use<T> @ <Value>; } fn main() {}