We also strongly discourage `#[inline(always)]` because it is easy to get wrong and make code much worse. This should be changed to `#[inline]` at the least.