Having briefly dabbled in Kotkin before returning to C#, this is one thing I really miss. C# has added non-null reference types but there's a number of places I really wish it acted differently.