TypeError when attempting to access property of union type

[danaetroupe]

Previously opened an issue here trying to understand why when type is explicitly casted in codeblock, I am still getting type errors. It feels more intuitive to dismiss the error if the value is explicitly given.

--!strict

-- Example #1
type TestObj = {
	model : Model?
}

local object : TestObj = {
	model = nil
}

object.model = Instance.new("Model")
object.model.Parent = workspace  -- this line has an error

-- Example #2
local model : Model? = nil
model = Instance.new("Model")

model.Parent = workspace -- this line has an error