[Tolk] Stricter type aliases and equal_to for types

- Added `equal_to()` instead of comparing TypePtr pointers
- Aliases referencing the same underlying type
  are now stricter: no silent interchangeability
- Smart casts restore declared type after control flow

Author: tolk-vm

tolk-tester/tests/generics-2.tolk

@@ -330,8 +330,8 @@ type StrangeAlsoInt = StrangeInt<()>;
 fun test19() {
     var i1: StrangeInt<builder> = 20;
     var i2: StrangeInt<slice> = 30;
-    var i3: StrangeInt<StrangeInt<int>> = 40 as StrangeAlsoInt;
-    i1 = i2; i2 = i1; i1 = i3; i3 = i1;
+    var i3: StrangeInt<StrangeInt<int>> = 40;
+    i1 = i2 as StrangeInt<builder>; i1 = i3 as StrangeInt<builder>;
     return (i1 as StrangeInt<()>, i3 as StrangeAlsoInt, i1 is StrangeInt, i1 is StrangeInt<cell>, i3 is StrangeInt, i3 is StrangeAlsoInt);
 }
 
@@ -376,7 +376,7 @@ fun test22(w: int | WrapperAlias<int> | slice) {
         WrapperAlias<MyInt> => {}
         slice => {}
     }
-    __expect_type(w, "int | Wrapper<MyInt> | slice");
+    __expect_type(w, "int | WrapperAlias<int> | slice");
     match (w) {
         MyInt => {}
         slice => {}
@@ -453,23 +453,23 @@ fun main(c: Wrapper<slice>, d: WrappedInt) {
 @testcase | 104 |         | 11 11 13 13 13 2
 @testcase | 105 | 0       | 80
 @testcase | 105 | -1      | (null)
-@testcase | 106 |         | (null) (null) 0 777 1 2 typeid-14
+@testcase | 106 |         | (null) (null) 0 777 1 2 typeid-12
 @testcase | 107 | 5       | 20 20 5 5 20 777 (null) (null) (null) 0
-@testcase | 108 | 0       | 777 typeid-15 777 typeid-15
+@testcase | 108 | 0       | 777 typeid-1 777 typeid-1
 @testcase | 108 | -1      | 777 0 777 0
 @testcase | 109 |         | 40 40 70
 @testcase | 110 |         | 20 1 20 42
-@testcase | 111 |         | 5 1 typeid-4 5 1 typeid-4 5 1 typeid-4 5 1 typeid-4
-@testcase | 112 | -1      | 10 1 777 10 1 typeid-5
-@testcase | 112 | 0       | 20 1 777 (null) 0 typeid-6
+@testcase | 111 |         | 5 1 typeid-2 5 1 typeid-2 5 1 typeid-2 5 1 typeid-2
+@testcase | 112 | -1      | 10 1 777 10 1 typeid-3
+@testcase | 112 | 0       | 20 1 777 (null) 0 typeid-4
 @testcase | 113 |         | 30 -1
 @testcase | 114 |         | 999 (null) 2
 @testcase | 115 |         | 10 0 200 1 -1 200 1 -1
 @testcase | 116 |         | 1 2 3 4
 @testcase | 117 |         | 100 123
 @testcase | 118 |         | 123 1 777 123 1 -1 2
 @testcase | 119 |         | 40 40 -1 -1 -1 -1
-@testcase | 120 |         | (null) typeid-9 777 (null) (null) 0 typeid-11 -1 -1
+@testcase | 120 |         | (null) typeid-9 777 (null) (null) 0 typeid-10 -1 -1
 @testcase | 123 |         | 10 10 10 10 10
 
 

tolk-tester/tests/generics-4.tolk

@@ -176,7 +176,7 @@ fun main() {
 /**
 @testcase | 103 |      | 10 20 30 777 40 40
 @testcase | 104 |      | (null) (null) (null)
-@testcase | 105 |      | -1 (null) 0 (null) typeid-6 777 0 123 0 456 typeid-5
+@testcase | 105 |      | -1 (null) 0 (null) typeid-2 777 0 123 0 456 typeid-1
 @testcase | 106 |      | -1 0 -1 -1
 @testcase | 107 |      | 1 10 110 117
 @testcase | 108 |      | 10 (null) 20

tolk-tester/tests/inline-tests.tolk

@@ -537,15 +537,15 @@ fun usedIn10ButDeclaredBelow(x: int) {
 """
   wrap16() PROC:<{
     IFJMP:<{
-      139 PUSHINT
+      129 PUSHINT
       OVER
       EQUAL
       IFJMP:<{
         DROP
         0 GTINT
         100 THROWIFNOT
       }>
-      140 PUSHINT
+      130 PUSHINT
       s2 POP
       EQUAL
       IFJMP:<{

tolk-tester/tests/intN-tests.tolk

@@ -248,7 +248,7 @@ fun main() {
 @testcase | 110 |      | 50000000 50000100 1234000000 51000000
 @testcase | 111 |      | [ 1000000000 1000000000 1000000000 -321123456789 321123456789 1100000000 ]
 @testcase | 114 | 5    | (null) (null) 0
-@testcase | 114 | 15   | 15 2 typeid-2
+@testcase | 114 | 15   | 15 2 typeid-1
 
 @fif_codegen DECLPROC assign0<int8>()
 @fif_codegen DECLPROC assign0<uint16>()

tolk-tester/tests/invalid-semantics/err-4081.tolk

@@ -15,6 +15,6 @@ fun main(w: int | WrapperAlias<int> | WrapperAlias<int8>) {
 
 /**
 @compilation_should_fail
-@stderr wrong pattern matching: duplicated `Wrapper<int>`
+@stderr wrong pattern matching: duplicated `WrapperAlias<int>`
 @stderr WrapperAlias<int>
  */

tolk-tester/tests/invalid-semantics/err-4318.tolk

@@ -0,0 +1,13 @@
+struct Point {
+    x: int
+    y: int
+}
+
+fun Point.getX() {
+    return self.x
+}
+
+/**
+@compilation_should_fail
+@stderr using `self` in a static method
+ */

tolk-tester/tests/invalid-semantics/err-4539.tolk

@@ -0,0 +1,25 @@
+import "@stdlib/tvm-dicts"
+
+type BalanceList = dict
+type AssetList = dict
+
+fun BalanceList.validate(self): int1 { return 0 }
+fun AssetList.validate(self): int2 { return 0 }
+
+fun f(b: BalanceList) {
+    if (b == null) { return }
+    else { b = createEmptyDict() }
+    __expect_type(b, "BalanceList");
+
+    if (b == null) { return }
+    __expect_type(b, "cell");
+
+    b.validate()
+}
+
+/**
+@compilation_should_fail
+@stderr call to method `validate` for type `cell` is ambiguous
+@stderr candidate function: `BalanceList.validate`
+@stderr candidate function: `AssetList.validate`
+ */

tolk-tester/tests/invalid-semantics/err-4619.tolk

@@ -0,0 +1,15 @@
+struct Inc { v: int32 }
+
+type Msg = Inc
+
+fun main(s: slice) {
+    val msg = lazy Msg.fromSlice(s);
+    match (msg) {
+        else => throw 0xFFFF
+    }
+}
+
+/**
+@compilation_should_fail
+@stderr `match` contains only `else`, but no variants
+ */

tolk-tester/tests/invalid-semantics/err-4680.tolk

@@ -0,0 +1,15 @@
+type BalanceDict = dict
+
+fun dict.doSome(self) {}
+fun BalanceDict.doSome(self) {}
+
+fun m(d: dict) {
+    d.doSome()
+}
+
+/**
+@compilation_should_fail
+@stderr call to method `doSome` for type `dict` is ambiguous
+@stderr candidate function: `dict.doSome`
+@stderr candidate function: `BalanceDict.doSome`
+ */

tolk-tester/tests/invalid-semantics/err-4681.tolk

@@ -0,0 +1,15 @@
+type BalanceDict = dict
+
+fun dict.doSome(self) {}
+fun BalanceDict.doSome(self) {}
+
+fun m(d: BalanceDict) {
+    d.doSome()
+}
+
+/**
+@compilation_should_fail
+@stderr call to method `doSome` for type `BalanceDict` is ambiguous
+@stderr candidate function: `dict.doSome`
+@stderr candidate function: `BalanceDict.doSome`
+ */