a non-null type is a subtype of the corresponding ...
# stdlib
y
a non-null type is a subtype of the corresponding nullable type