luau/Analysis/include/Luau/Quantify.h

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

#include "Luau/Type.h"

namespace Luau
{

struct TypeArena;
struct Scope;

void quantify(TypeId ty, TypeLevel level);
std::optional<TypeId> quantify(TypeArena* arena, TypeId ty, Scope* scope);

} // namespace Luau
Sync to upstream/release/503 - A series of major optimizations to type checking performance on complex programs/types (up to two orders of magnitude speedup for programs involving huge tagged unions) - Fix a few issues encountered by UBSAN (and maybe fix s390x builds) - Fix gcc-11 test builds - Fix a rare corner case where luau_load wouldn't wake inactive threads which could result in a use-after-free due to GC - Fix CLI crash when error object that's not a string escapes to top level 2021-11-04 19:42:00 -07:00			`// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details`
			`#pragma once`

Sync to upstream/release/557 2023-01-03 19:33:19 +02:00			`#include "Luau/Type.h"`
Sync to upstream/release/503 - A series of major optimizations to type checking performance on complex programs/types (up to two orders of magnitude speedup for programs involving huge tagged unions) - Fix a few issues encountered by UBSAN (and maybe fix s390x builds) - Fix gcc-11 test builds - Fix a rare corner case where luau_load wouldn't wake inactive threads which could result in a use-after-free due to GC - Fix CLI crash when error object that's not a string escapes to top level 2021-11-04 19:42:00 -07:00
			`namespace Luau`
			`{`

Sync to upstream/release/532 2022-06-16 17:54:42 -07:00			`struct TypeArena;`
Sync to upstream/release/538 2022-07-28 20:41:13 -07:00			`struct Scope;`
Sync to origin/release/530 2022-06-03 13:32:20 -07:00
Sync to upstream/release/515 2022-02-17 16:41:20 -08:00			`void quantify(TypeId ty, TypeLevel level);`
Sync to upstream/release/567 2023-03-10 11:20:04 -08:00			`std::optional<TypeId> quantify(TypeArena* arena, TypeId ty, Scope* scope);`
Sync to upstream/release/503 - A series of major optimizations to type checking performance on complex programs/types (up to two orders of magnitude speedup for programs involving huge tagged unions) - Fix a few issues encountered by UBSAN (and maybe fix s390x builds) - Fix gcc-11 test builds - Fix a rare corner case where luau_load wouldn't wake inactive threads which could result in a use-after-free due to GC - Fix CLI crash when error object that's not a string escapes to top level 2021-11-04 19:42:00 -07:00
			`} // namespace Luau`