You're right, we should mention it. Thanks for catching this. I filed a bug ticket to add some language about our performance goals: https://github.com/mozilla

You're right, we should mention it. Thanks for catching this. I filed a bug ticket to add some language about our performance goals: https://github.com/mozilla/rust/issues/11174 https://github.com/mozilla/rust/issues/11174