Luau New Type Solver Roblox type checking bug with DataModel and ModuleScript functions

Description

Type Error: Type ‘Tool’ from ‘DataModel’ could not be converted into ‘Tool’ from ‘DataModel’

Re-production Steps

Please note that you do have to enable the beta as well, and you can’t rely on the Workspace property alone, you need the beta enabled as well.

Video and files are attached for re-production are attached

The setup in quick is basically

--!strict
local ModuleScript = require(script.Parent.ModuleScript)

local Test = script.Parent:WaitForChild("Tool")

local tbl = {}
tbl.Tool = Test:Clone()

ModuleScript.ExternalFunction(tbl.Tool)

While there’s other setup, but this is an even smaller setup

And ExternalFunction is just having any kind of Tool, even the same one infered in the argument.

Expected Result

The old solver doesn’t do that.

Actual Result

See screenshot at the top.

Additionally, the orange lines go away if you click “Reload Script” on the ModuleScript, but it will re-appear once you drag the entire Module or script files around, which is strange.

A private message is associated with this bug report

Hello! Pardon the lengthy delay.

Thanks for the report!

We’re able to reproduce this but given the complexity we aren’t planning to fix it at this time. We’ve added it to our backlog and we’ll let you know if we end up fixing it in the future.