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!