Release notes

Run-time checks you can rely on

A bug-fix release. Overflow and bounds checks are no longer removed when a variable changes in a way the compiler did not follow, generic structs pair their type arguments correctly, and three compiler crashes are fixed.

• No breaking changes: a program that compiled with 2.1.0 and ran correctly behaves the same.
• Overflow and bounds checks stay in whenever a variable changes in a way the compiler does not follow. 2.1.0 could remove them, so a sum wrapped silently and an index read past its array.
• A generic struct's type arguments go to its parameters in declaration order.
• Box::default().get() on a generic Box is a clear E138, and a generic struct inside a function is the new E151.
• Three compiler crashes fixed.