Some of these are more "When a linear type system hurts:" > Common expression elimination I feel as though there should be a warning when a parameter that cou

Some of these are more "When a linear type system hurts:" > Common expression elimination I feel as though there should be a warning when a parameter that could be a reference is not. I usually run into this when a function that I've written is incorrectly taking ownership of a parameter. > Newtype abstraction The Rust compiler could implicitly call `into` and `inner` (and then possibly optimize those away), but this (explicit or implicit) is required for linear types. What could work is: `Hex(&bytes)`.