luau/tests/VisitTypeVar.test.cpp

// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details

#include "Fixture.h"

#include "Luau/RecursionCounter.h"

#include "doctest.h"

using namespace Luau;

LUAU_FASTFLAG(LuauUseVisitRecursionLimit)
LUAU_FASTINT(LuauVisitRecursionLimit)

struct VisitTypeVarFixture : Fixture
{
    ScopedFastFlag flag1 = {"LuauUseVisitRecursionLimit", true};
    ScopedFastFlag flag2 = {"LuauRecursionLimitException", true};
};

TEST_SUITE_BEGIN("VisitTypeVar");

TEST_CASE_FIXTURE(VisitTypeVarFixture, "throw_when_limit_is_exceeded")
{
    ScopedFastInt sfi{"LuauVisitRecursionLimit", 3};

    CheckResult result = check(R"(
        local t : {a: {b: {c: {d: {e: boolean}}}}}
    )");

    TypeId tType = requireType("t");

    CHECK_THROWS_AS(toString(tType), RecursionLimitException);
}

TEST_CASE_FIXTURE(VisitTypeVarFixture, "dont_throw_when_limit_is_high_enough")
{
    ScopedFastInt sfi{"LuauVisitRecursionLimit", 8};

    CheckResult result = check(R"(
        local t : {a: {b: {c: {d: {e: boolean}}}}}
    )");

    TypeId tType = requireType("t");

    (void)toString(tType);
}

TEST_SUITE_END();