Union Types And Spawn

[CodeSteak]

I'm not sure if this is a bug or would be a nice feature. It could also be duplicate with #2962.

class SomeClass 

    @a : Int32? = 1

    def something
        if a = @a 
            spawn do 
                # a is Int32 | Nil
                # a could be Int32
                a + 1 
            end
        end
    end
end
SomeClass.new.something

filename.cr:9: undefined method '+' for Nil (compile-time type is (Int32 | Nil))

                puts a + 1
                       ^

================================================================================

PS: Thank you for making this awesome language! ❤️

[asterite]

Yes, it's the same reason. I created a separate issue for this: #3093