Kagamin: > Should it guarantee non-nullability or the point is just to insert asserts on assignment of nullable to non-nullable (to catch the problem early). It's a type "modifier", the point is to define references/pointers that are guarantee by the type system to not be null. Bye, bearophile