MN
Size: a a a
MN
O
a : t | null ∈ t
MN
a : t | null ∈ t
O
dynamic a = null;корректная программа
a = 2;
a = "test";
var a = null;некорректная программа
a = 2;
a = "test";
MN
dynamic a = null;корректная программа
a = 2;
a = "test";
var a = null;некорректная программа
a = 2;
a = "test";
O
O
O
a = 2;
приведёт к появлению уравнения int ⊂ t
, a = "test";
приведёт к string ⊂ t
a : object
var a = null;вот тогда уже была бы проблема с унификацией уравнений
int? b = a;
string c = a;
a : t | null ∈ t
t ⊂ int?
t ⊂ string
V🧀
V🧀
VK
VK
VK
b
var a = null;
делать?O
b
Dv
Dv
V🧀