Hi,<div dir="auto"><br></div><div dir="auto">An anomaly I notice in the design docs is that an exclamation on non-atomic trivially constructible value types may signify both non-nullability and non-atomicity, which may be different from the mark on other types, which only denotes non-nullability. This may create headache, what if we want a non-nullable Complex but still want the variable to be updated atomically. I propose that we can use a double exclamation mark to not overload the single one with accidental purposes.</div><div dir="auto"><br></div><div dir="auto">Regards,</div><div dir="auto">Quan Anh</div>