as you said, is the same as performing a not null ...
# getting-started
m
as you said, is the same as performing a not null assertion, but with extra benefits for the compiler