This is allowed by Rust 2018: ```rust impl<T: SomeTrait<'_>> SomeType<T> { ... } ``` while this is not allowed: ```rust fn foo<T: SomeTrait<'_>>() { ... } ```