[New solver] export + typeof not working

[5uphi]

if i export a type that uses typeof

export type myType = typeof(workspace.SpawnLocation)

and then try to clone that instance it gives the error:
Type Error: Type 'SpawnLocation' from 'DataModel' could not be converted into 'SpawnLocation' from 'DataModel'

how to reproduce:

1. enable the new type solver
   

   

2. create a modulescript

export type myType = typeof(workspace.SpawnLocation)
return {}

3. create a script

local module = require(game.ServerStorage.ModuleScript)
local sl: module.myType = workspace.SpawnLocation:Clone()

if you don’t see the error try closing and reopening the script it does not always show

[Yuria_theWitch]

Hi there, thank you for the report and apologies for the delay in getting back to you! As best as I can tell, this issue has been fixed over the past several months. sl is correctly given the SpawnLocation type and it is compatible with the type you get from cloning even through export. Please feel free to open another issue if you encounter this issue again with a different reproduction. Cheers!