There are many places where the use of #[inline] or #[inline(always)] would be possible. In the future, we could start using those.