The most recent one off the top of my head is the ? syntax RFC, which should reduce the amount of error-handling boilerplate.<p>The big ones though are:<p>* Specialization. This will allow you to write ultra-performent generic code by special-casing when you have the knowledge. It also will be a building block for the next few features.<p>* The bag of features colloquially known as &quot;inheritance&quot;, though that&#x27;s not really a good name.<p>* Non-lexical borrowing, and various other borrowck usability improvements.<p>* Abstract return types, which will allow for you to remove some allocation and make certain type signatures much better.<p>* Incremental compilation.<p>Those are the ones on the short list. There are others too, like higher kinded types.