fix(tolk/resolving): fix method resolving for generic structs (#25)

Fixes #18

Author: i582

server/src/e2e/tolk/testcases/resolving/instance-methods.test

@@ -333,3 +333,23 @@ fun main(): void {
 7:4 -> 0:5 resolved
 8:9 -> 2:13 resolved
 10:4 -> 4:4 resolved
+
+========================================================================
+Instance methods for generic
+========================================================================
+struct First<T> {}
+fun First<T>.new(): First<T> {}
+
+struct Second<T> {}
+fun Second<T>.new(): Second<T> {}
+fun Second<int>.new(): Second<int> {}
+
+fun main() {
+    val first = First<int>.<caret>new();
+    val second = Second<int>.<caret>new();
+    val third = Second<slice>.<caret>new();
+}
+------------------------------------------------------------------------
+8:27 -> 1:13 resolved
+9:29 -> 5:16 resolved
+10:30 -> 4:14 resolved

server/src/languages/tolk/type-inference.ts

@@ -1142,13 +1142,23 @@ class InferenceWalker {
         }
 
         // step 3: try to match generic receivers, e.g. `Container<T>.copy` / `(T?|slice).copy` but NOT `T.copy`
+        const qualifierBaseType = qualifierType.baseType()
         this.processMethods(searchName, method => {
             const receiverTypeNode = method.receiverTypeNode()
             if (!receiverTypeNode) return true
             const receiverType = typeOf(receiverTypeNode, method.file)
 
             // Foo<T>, but not T
             if (receiverType?.hasGenerics() && !(receiverType instanceof TypeParameterTy)) {
+                const receiverBaseType = receiverType.baseType()
+
+                if (qualifierBaseType instanceof StructTy && receiverBaseType instanceof StructTy) {
+                    if (!qualifierBaseType.equals(receiverBaseType)) {
+                        // different struct names
+                        return true
+                    }
+                }
+
                 const subst = GenericSubstitutions.deduce(receiverType, qualifierType)
                 const substituted = receiverType.substitute(subst.mapping)