Started by GitHub push by Frotty133218ca8ab9bda8e1ceb5112c75866e26bbfd5d08d418ca8ab9bda8e1ceb5112c75866e26bbfd5d08d4refs/remotes/origin/master18ca8ab9bda8e1ceb5112c75866e26bbfd5d08d418ca8ab9bda8e1ceb5112c75866e26bbfd5d08d4refs/remotes/origin/master18ca8ab9bda8e1ceb5112c75866e26bbfd5d08d418ca8ab9bda8e1ceb5112c75866e26bbfd5d08d4refs/remotes/origin/masterhttps://github.com/wurstscript/WurstScript.git00845testReportfalse#1332856210737407Wurst #13321332falsefalse1332623SUCCESS1657746191206https://grill.wurstlang.org/hudson/job/Wurst/1332/de.peeeq.wurstscript/src/test/java/tests/wurstscript/tests/LuaTranslationTests.javade.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/translation/imtranslation/EliminateLocalTypes.javade.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/translation/lua/translation/ExprTranslation.java18ca8ab9bda8e1ceb5112c75866e26bbfd5d08d41657746181000https://grill.wurstlang.org/hudson/user/noreplynoreplynoreply@github.comRemove type dependency from cast translation (#1064) * Remove type dependency from cast translation When casting to int, there is a special case when an int is casted (no cast necessary). This was no longer detected correctly with eliminated local types. Now this unnecessary cast is removed in advance, before local types are lost. * Unit tests for local type elimination 2022-07-13 23:03:01 +020018ca8ab9bda8e1ceb5112c75866e26bbfd5d08d4Remove type dependency from cast translation (#1064)editde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/translation/imtranslation/EliminateLocalTypes.javaeditde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/translation/lua/translation/ExprTranslation.javaeditde.peeeq.wurstscript/src/test/java/tests/wurstscript/tests/LuaTranslationTests.javagithttps://grill.wurstlang.org/hudson/user/noreplynoreply