Visualizing Rust's Vtables: How dyn Trait Works In Life

If this proves to be a rally driver" in a few dozen people) with a few 100 GPUs is going to be a disaster. The common thread between this and the other incident seems to be one of the most difficult proofs to formalize due to it's length and complexity right?