- // WARNING: Inlining these variables would be unsound (#81138)
- // We assume the bounds reported by `range` remain the same, but
- // an adversarial implementation could change between calls
+ // Inlining these variables should be avoided. We assume the bounds reported by `range`
+ // remain the same, but an adversarial implementation could change between calls (#81138).