New solver autocomplete crashes to desktop with union type and table.create

Bug Reports Studio Bugs
,
#1

As of version 0.632, the following code crashes Studio to desktop with no message when showing completions for properties on self, regardless of the typechecking directive (--!strict etc) being used:

--!strict
local Class = {}
Class.__index = Class
export type Class = typeof(setmetatable({}, Class))

local Inherited = {}
Inherited.__index = Inherited
type Inherited = typeof(setmetatable({}, Inherited)) & Class
setmetatable(Inherited, Class)

type tUnion = Inherited | {'h'}
local OtherClass = {}
OtherClass.__index = OtherClass

type self = {field: tUnion}
export type OtherClass = typeof(setmetatable({}::self, OtherClass))

function OtherClass.finaliseFrame(self:OtherClass): ()
	table.clear(self.field) --crashes when changed
end

Repro file:
solverCrashTest.rbxl (40 KB)

A private message is associated with this bug report

#2

This is just an acknowledgment announcement!

We’ve filed a ticket into our internal database for this issue, and we will update you when we have further information!

Thanks for the report!

1 Like
#3

Thank you for the report.

You can avoid the crash by disabling “New Luau type solver” in the Studio Beta Feature list.

We will post a follow-up message here when this issue in the Beta is resolved.

1 Like
#4

bad wording on my part sorry, by “typechecking mode” i meant the --!strict, --!nonstrict and --!nocheck directives