assert triggered in new type solver for Intersection Types

[karl-police]

TEST_CASE_FIXTURE(ACBuiltinsFixture, "test1")
{
    TypeArena arena;
    frontend.globals.globalScope->exportedTypeBindings["FreeTable"] = TypeFun{{}, arena.addType(TableType{TableState::Free, TypeLevel{}})};

    if (!FFlag::LuauSolverV2)
        return;

    CheckResult check1 = check(R"(
local test = {}
test.entry = 2

local tbl_A = {} :: typeof(test) & FreeTable
tbl_A.abc = 1

print(tbl_A.notWritingTo)

function test(a)
    a.@3
    if (a.propertyTest) then return true end
    return false
end

test({@2})

tbl_A.@1
)");

    auto test1 = toString(requireType("tbl_A"));
    auto test2 = requireType("tbl_A");

    auto ac1 = autocomplete('1');

    auto ac2 = autocomplete('2');
    auto ac3 = autocomplete('3');
}

It triggers at where the red arrow is pointing at.

The red framed line of code is the thing that I put there that would "silence" the error, whether I don't know whether it's actually the right fix. To test that I removed the intersection and the entryMap size was the same, so maybe id = follow(id) is the fix.