`a?.b` is a shorthand for `if (a == null) null els...
# announcements
k
a?.b
is a shorthand for
if (a == null) null else a.b
so the type of
a?.b
is nullable whether b itself was originally nullable or not.