(If it is actually slower, it may be worth revisiting after https://github.com/mozilla/rust/issues/8981 lands.)