2021-11-05 10:42:00 +08:00
|
|
|
// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details
|
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
|
|
#include "Luau/TypeVar.h"
|
|
|
|
|
|
|
|
|
|
namespace Luau
|
|
|
|
|
{
|
|
|
|
|
|
2022-06-17 08:54:42 +08:00
|
|
|
struct TypeArena;
|
2022-07-29 11:41:13 +08:00
|
|
|
struct Scope;
|
2022-06-04 04:32:20 +08:00
|
|
|
|
2022-02-18 08:41:20 +08:00
|
|
|
void quantify(TypeId ty, TypeLevel level);
|
2022-07-29 11:41:13 +08:00
|
|
|
TypeId quantify(TypeArena* arena, TypeId ty, Scope* scope);
|
2021-11-05 10:42:00 +08:00
|
|
|
|
|
|
|
|
} // namespace Luau
|
