Hi guys,
First of all, thanks for the help. As per @StefanKarpinski advice, I opened a issue in gitbhub: Variable type is not inferred correctly if an `if` statement is added 路 Issue #26752 路 JuliaLang/julia 路 GitHub
Sorry about the technical description and title of the issue, I really do not have the necessary technical background to do any better ![]()
You are right! If I put K1 before the if, then the problem is gone!