correcting tests for issue #1179 - handling TypeCheckExpr

src/test/java/com/intellij/plugins/haxe/ide/HaxeSemanticAnnotatorTest.java

@@ -27,7 +27,6 @@
 import com.intellij.codeInspection.ex.LocalInspectionToolWrapper;
 import com.intellij.openapi.fileEditor.FileDocumentManager;
 import com.intellij.openapi.project.Project;
-import com.intellij.openapi.util.registry.Registry;
 import com.intellij.plugins.haxe.HaxeBundle;
 import com.intellij.plugins.haxe.HaxeCodeInsightFixtureTestCase;
 import com.intellij.plugins.haxe.ide.annotator.HaxeSemanticAnnotatorInspections;
@@ -431,12 +430,12 @@ public void testAssignTypeCheckFloatToInt() throws Exception {
 
   // var a:Int = (10 : Float);
   @Test
-  public void testInitializeIntWithIntTypeCheckedToFloat() throws Exception {
+  public void testInitializeIntWithTypeChecked() throws Exception {
     doTestNoFixWithWarnings();
   }
 
   @Test
-  public void testAssignIntWithIntTypeCheckedToFloat() throws Exception {
+  public void testAssignWithTypeChecker() throws Exception {
     doTestNoFixWithWarnings();
   }
 

src/test/resources/testData/annotation.semantic/AssignWithTypeChecker.hx

@@ -0,0 +1,10 @@
+// This is a negative test; an error should NOT occur.
+package;
+class Test {
+  public function new() {
+    // The following is OK because an Int unifies with a Float
+    var f:Float = (10:Int);
+    //  compiler error Float should be Int
+    var <error descr="Incompatible type: Float should be Int">i:Int = (10:Float)</error>;
+  }
+}

src/test/resources/testData/annotation.semantic/InitializeIntWithTypeChecked.hx

@@ -0,0 +1,9 @@
+package;
+class Test {
+  public function new() {
+    // The following is OK because an Int unifies with a Float
+    var f:Float = (10:Int);
+    //  compiler error Float should be Int
+    var <error descr="Incompatible type: Float should be Int">i:Int = (10:Float)</error>;
+  }
+}