|
@@ -1,14 +0,0 @@
|
|
-function main() {
|
|
|
|
- var a = null;
|
|
|
|
- if (a == null) a = 10;
|
|
|
|
- $type(a); // Null<Null<Int>>
|
|
|
|
-
|
|
|
|
- var b = null;
|
|
|
|
- $type(b); // Null<Unknown<0>>
|
|
|
|
- b = null;
|
|
|
|
- $type(b); // Null<Null<Unknown<0>>>
|
|
|
|
- b = null;
|
|
|
|
- $type(b); // Null<Null<Null<Unknown<0>>>>
|
|
|
|
- b = 10;
|
|
|
|
- $type(b); // Null<Null<Null<Int>>>
|
|
|
|
-}
|
|
|