New type solver throws unclear type error when returning table with an optional Roblox data type

[Daw588]

This issue only seems to occur for Vector3, Vector2, CFrame, and other Roblox data types, but not for Luau primitive data types.

local function FuncA(): { Value: Vector3? }
	return {
		Value = Vector3.zero -- TypeError: Type pack '{ Value: Vector3 }' could not be converted into '{ Value: Vector3? }'; type { Value: Vector3 }[0][read "Value"] (Vector3) is not exactly { Value: Vector3? }[0][read "Value"][1] (nil) Luau(1035)
	}
end

FuncA()

local function FuncB(): { Value: number? }
	return {
		Value = 1 -- OK
	}
end

FuncB()

[aatxe]

This probably has absolutely nothing to do with Roblox data types. My immediate best guess is that this is a problem with some of the expected type code, but we'll investigate it when we can.