The two biggest things are lifetime extensions and inline consts. Both will allow you to write more concise code and, in the case of lifetime extensions, may help eliminate some bugs, since you won’t need to work around that limitation anymore.
Yeah, I’m imagining, I’ve run into these problems in the past and then the compiler told me to do it differently and so I did. I’m definitely glad that such unobvious behavior is being reduced, I just probably won’t realize until I’m writing similar code the next time and the compiler does not complain.
Inline consts also let you perform static assertions, like asserting a type parameter is not a zero-sized type, or a const generic is non-zero. This is actually pretty huge since some checks can be moved from runtime to compile time (not a lot of checks, but some that were difficult or impossible to do at compile time before).
The two biggest things are lifetime extensions and inline consts. Both will allow you to write more concise code and, in the case of lifetime extensions, may help eliminate some bugs, since you won’t need to work around that limitation anymore.
Yeah, I’m imagining, I’ve run into these problems in the past and then the compiler told me to do it differently and so I did. I’m definitely glad that such unobvious behavior is being reduced, I just probably won’t realize until I’m writing similar code the next time and the compiler does not complain.
Yeah exactly! It’s a great case of “invisible” improvements.
Inline consts also let you perform static assertions, like asserting a type parameter is not a zero-sized type, or a const generic is non-zero. This is actually pretty huge since some checks can be moved from runtime to compile time (not a lot of checks, but some that were difficult or impossible to do at compile time before).