Rust コンパイラが eBPF program をコンパイルするときの最適化が原因で BPF verifier を説得させるための制約がいい感じに効かないケースがあることがわかる
↑LT のネタになりそう。