JuliaLang/julia — Issue #549: error in tuple_elim_pass on code with type error
Author: JeffBezanson
Created: 2012-03-09 01:47:10+00:00
State: open
Labels: bugs, priority

@pao found this:

```
julia> function lctest()
x::String = "a"
y = [ sqrt(x) | x = 1:10 ]
x == 10
end

julia> lctest()
in ref: arrayref: index out of range
in ref at /home/patrick/julia/jl/array.jl:165
in tuple_elim_pass at /home/patrick/julia/jl/inference.jl:1521
in typeinf at /home/patrick/julia/jl/inference.jl:1059
in typeinf_ext at /home/patrick/julia/jl/inference.jl:805
```