[typer] don't recurse into ECheckType

src/typing/typer.ml

@@ -3465,10 +3465,8 @@ and type_expr ctx (e,p) (with_type:with_type) =
 				EDisplay(map_compr e1,b),p
 			| EMeta(m,e1) ->
 				EMeta(m,map_compr e1),p
-			| ECheckType(e1,ct) ->
-				ECheckType(map_compr e1,ct),p
 			| EConst _ | EArray _ | EBinop _ | EField _ | EObjectDecl _ | EArrayDecl _
-			| ECall _ | ENew _ | EUnop _ | EVars _ | EFunction _ | EDisplayNew _ ->
+			| ECall _ | ENew _ | EUnop _ | EVars _ | EFunction _ | EDisplayNew _ | EMeta _ | ECheckType _ ->
 				et := (EArrayDecl [],p);
 				(ECall ((EField ((EConst (Ident v.v_name),p),"push"),p),[(e,p)]),p)
 		in

tests/unit/src/unit/TestMapComprehension.hx

@@ -6,7 +6,6 @@ class TestMapComprehension extends unit.Test {
 		mapEq([for (i in 0...2) (i => i)], [0 => 0, 1 => 1]);
 		mapEq([for (i in 0...2) cast i => i], [0 => 0, 1 => 1]);
 		mapEq([for (i in 0...2) untyped i => i], [0 => 0, 1 => 1]);
-		mapEq([for (i in 0...2) (i => i : Void)], [0 => 0, 1 => 1]);
 		mapEq([for (i in 0...2) if (i == 1) i => i], [1 => 1]);
 		mapEq([for (i in 0...2) if (i == 0) i => i else i => i * 2], [0 => 0, 1 => 2]);
 		mapEq([for (i in 0...2) (i == 0) ? i => i : i => i * 2], [0 => 0, 1 => 2]);