3 ms·Just one. It’s a compiler bug and not a soundness hole.by steveklabnik 2y agoJust one. It’s a compiler bug and not a soundness hole.