New Type Solver [Beta]

Hi!

It’s possible that this is related to an existing issue with the new solver where large types can gum up the works and prevent us from servicing autocomplete requests. If you return to the old solver, do you still have autofill results? Would you be able to provide the script or place file in which this happens, so we can reproduce and fix this issue?

Hey, im a bit confused with new typecast solver, is it possible to do something like that?

--Example:
local Humanoid = Instance.new(`Humanoid`) --> Returning typecasted Humanoid
local Part = Instance.new(`Part`) --> Returning typecasted Part

--What i want:
local Types = require(script.Types)

function GetModule(Name: string)
	return require(game:FindFirstChild(Name, true)) :: (Types[Name] | any)
end

local Promise = GetModule(`Promise`) --> Returning typecasted module Promise
local Utils = GetModule(`Utils`) --> Returning typecasted module Utils
    local connection: RBXScriptConnection | nil
	local connection2: RBXScriptConnection | nil
	
	local function updateParams(distance: number, exponentialSpeed: number, speed: number)
		distance = (primaryPart.Position - inst.Position).Magnitude
		exponentialSpeed = math.floor(self.settings.MaxDistance / distance) / 10
		speed = self.settings.SpeedModifier * exponentialSpeed
	end
	
	inst:GetPropertyChangedSignal("Position"):Connect(function()
		task.spawn(updateParams, distance, exponentialSpeed, speed)
	end)
	
	primaryPart:GetPropertyChangedSignal("Position"):Connect(function()
		task.spawn(updateParams, distance, exponentialSpeed, speed)
	end)
	
	connection = RunService.Stepped:Connect(function() --Save some lag
		inst.Position = inst.Position:Lerp(primaryPart.Position, speed)
		
		if typeof(connection) == "RBXScriptConnection" then connection:Disconnect() end --Here it throws an error
	end)
	
	connection2 = inst.Destroying:Connect(function()
		if typeof(connection) == "RBXScriptConnection" then connection:Disconnect() end
		if typeof(connection2) == "RBXScriptConnection" then connection2:Disconnect() end
		
		connection = nil
		connection2 = nil
	end)

It throws a type error for no reason and I can’t figure why.
Error message: “Type function instance union<blocked-274313, nil> is uninhabited This is likely to be a bug, please report it at GitHub · Where software is built
I can’t report it just yet on the Github page, but I will try to upload the issue on it as soon as possible.

--!strict

local module = {}

local configurations = {
	health = 10;
	range = 10;
	team = "red";
}

type towerType = keyof<typeof(configurations)>
type health = index<towerType, "health">

function test(param: index<towerType, "health">)
	
end


return module

Am I doing something wrong or is this a bug? (Accidental reply)