BlinD-HuNTeR 

Enables inference of type parameters from constraints and/or from deconstruction variables.

Enables the use of yield return in methods that return struct types (zero-allocation iterators).