It would be good to mention that having either `#[inline]` or `#[inline(always)]` causes the function to be serialised to crate metadata, and so allow cross-crate inlining.