Hi, the following code is not correctly inferred in julia 1.7.0. function test() k = 1 if k == 1 k = 2 end return findall(x -> x >= k, [1]) end julia> @code_warntype(test()) MethodInstance for test() from test() in Main at none:1 Arguments #self#::Core.Const(test) Local…

Inference problem with findall

etienne_dg December 17, 2021, 2:38pm 6

I thought about it but it was working on julia 1.6, what is going on 1.7 ?

Topic		Replies	Views
Comprehension type inference General Usage question	2	712	June 17, 2017
Regression in v0.7 due to weird inference failure for function with Lisp-y recursion Internals & Design inference	14	1646	March 23, 2018
Feature request: type assertion for compiler-known type General Usage	21	1198	April 13, 2018
Ridiculous idea: types from the future Internals & Design inference	16	5744	April 6, 2018
Limits of type inference General Usage question	6	1290	April 23, 2019