New solver: Type state doesn't let member types be widened

[ffrostfall]

Minimum repro:

local value: {
	thing: {}?
} = {}

if not value.thing then
	value.thing = {}
end

[aatxe]

Looks more like the issue is that it's using the refined type of the property in the lvalue position here, and not about widening since your original annotated type for value should permit {} as-is.