var = uninitialized T returns Nil instead of type T

[bcardiff]

The following code is not working as expected:

g = h = uninitialized Int32
puts typeof(h) # => Int32
puts typeof(g) # => Nil

It should be

g = h = uninitialized Int32
puts typeof(h) # => Int32
puts typeof(g) # => Int32

I reach this reducing from

a = if rand() > 0.5
  1
else
  b = uninitialized Int32
  b
end
typeof(a) # => Int32

c = if rand() > 0.5
  1
else
  d = uninitialized Int32
end
typeof(c) # => Int32 | Nil

It seems var = uninitialized T is not returning the garbage value of type T.

crystal: 0.20.0

[asterite]

Yes, uninitialized doesn't return anything, it's more like a statement than an expression. Doing a = b = uninitialized Int32 will not mark a as uninitialized. I'm not sure I'd like to change this.