3 ms·Rust's trait system is a proof engine, let's make it prove us an ABI [35min] [video]4 points by sn9 3y ago