The latest iteration is thinking about proper nullable/non-nullable types like String?. They want to have the user care about the semantics only (whether it mak

The latest iteration is thinking about proper nullable/non-nullable types like String?. They want to have the user care about the semantics only (whether it makes sense to have a null value here) for any kind of object, but this same notation will also give a big performance boost to value types, as those can then be stored in memory more efficiently.