fix method overlaoding semantic check

src/main/java/semantic/SemanticAnalyzer.java

@@ -214,9 +214,7 @@ public class SemanticAnalyzer implements SemanticVisitor {
 
     @Override
     public TypeCheckResult analyze(ParameterNode toCheck) {
-
-
-        return new TypeCheckResult(true, null);
+        return new TypeCheckResult(true, toCheck.type);
     }
 
     @Override
@@ -517,7 +515,7 @@ public class SemanticAnalyzer implements SemanticVisitor {
                         for(int i = 0; i < method.getParameters().size(); i++){
                             var result1 = method.getParameters().get(i).accept(this);
                             var result2 = toCheck.parameters.get(i).accept(this);
-                             if (Objects.equals(result1.getType(), result2.getType())) {
+                             if (!Objects.equals(result1.getType(), result2.getType())) {
                                 same = false;
                             }
                         }

src/test/resources/input/typedAstExceptionsTests/SelectWrongMethodCauseParameter.java

@@ -0,0 +1,22 @@
+// @expected: TypeMismatchException
+public class Test{
+
+    public int i;
+    public boolean b;
+
+    public int test(){
+
+        return this.test(i);
+
+    }
+
+    public void test(int a){
+
+    }
+
+    public int test(boolean bool){
+        int ret = 1;
+        return ret;
+    }
+
+}

src/test/resources/input/typedAstFeaturesTests/CorrectTest.java

@@ -5,7 +5,7 @@ public class Test{
 
     public int test(){
 
-        return i;
+        return this.test(b);
 
     }
 

src/test/resources/input/typedAstFeaturesTests/SelectRightOverloadedMethod.java

@@ -0,0 +1,21 @@
+public class Test{
+
+    public int i;
+    public boolean b;
+
+    public int test(){
+
+        return this.test(b);
+
+    }
+
+    public void test(int a){
+
+    }
+
+    public int test(boolean bool){
+        int ret = 1;
+        return ret;
+    }
+
+}