Hunter Goldstein a36a3c41cc Sync to upstream/release/651 (#1513) ... ### What's New? * Fragment Autocomplete: a new API allows for type checking a small fragment of code against an existing file, significantly speeding up autocomplete performance in large files. ### New Solver * E-Graphs have landed: this is an ongoing approach to make the new type solver simplify types in a more consistent and principled manner, based on similar work (see: https://egraphs-good.github.io/). * Adds support for exporting / local user type functions (previously they were always exported). * Fixes a set of bugs in which the new solver will fail to complete inference for simple expressions with just literals and operators. ### General Updates * Requiring a path with a ".lua" or ".luau" extension will now have a bespoke error suggesting to remove said extension. * Fixes a bug in which whether two `Luau::Symbol`s are equal depends on whether the new solver is enabled. --- Internal Contributors: Co-authored-by: Aaron Weiss <aaronweiss@roblox.com> Co-authored-by: Andy Friesen <afriesen@roblox.com> Co-authored-by: David Cope <dcope@roblox.com> Co-authored-by: Hunter Goldstein <hgoldstein@roblox.com> Co-authored-by: Varun Saini <vsaini@roblox.com> Co-authored-by: Vighnesh Vijay <vvijay@roblox.com> Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>		2024-11-08 13:41:45 -08:00
..
Anyification.cpp	Sync to upstream/release/637 (#1354)	2024-08-02 07:30:04 -07:00
AnyTypeSummary.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
ApplyTypeFunction.cpp	Sync to upstream/release/582 (#960)	2023-06-23 23:19:39 -07:00
AstJsonEncoder.cpp	Support function attributes in luau-ast (#1466)	2024-10-08 06:57:41 -07:00
AstQuery.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
Autocomplete.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
AutocompleteCore.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
AutocompleteCore.h	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
BuiltinDefinitions.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
Clone.cpp	Sync to upstream/release/649 (#1489)	2024-10-25 16:15:01 -04:00
Constraint.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
ConstraintGenerator.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
ConstraintSolver.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
DataFlowGraph.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
DcrLogger.cpp	Sync to upstream/release/637 (#1354)	2024-08-02 07:30:04 -07:00
Def.cpp	Sync to upstream/release/619 (#1218)	2024-03-30 16:14:44 -07:00
Differ.cpp	Sync to upstream/release/648 (#1477)	2024-10-18 10:27:15 -07:00
EmbeddedBuiltinDefinitions.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
EqSatSimplification.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
Error.cpp	Sync to upstream/release/646 (#1458)	2024-10-04 11:29:55 -07:00
FragmentAutocomplete.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
Frontend.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
Generalization.cpp	Sync to upstream/release/648 (#1477)	2024-10-18 10:27:15 -07:00
GlobalTypes.cpp	Sync to upstream/release/609 (#1150)	2024-01-19 10:04:46 -08:00
Instantiation.cpp	Sync to upstream/release/641 (#1382)	2024-08-30 13:16:51 -07:00
Instantiation2.cpp	Sync to upstream/release/637 (#1354)	2024-08-02 07:30:04 -07:00
IostreamHelpers.cpp	Sync to upstream/release/645 (#1440)	2024-09-27 11:58:21 -07:00
JsonEmitter.cpp	Sync to upstream/release/543 (#657)	2022-09-01 16:14:03 -07:00
Linter.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
LValue.cpp	Sync to upstream/release/527 (#491)	2022-05-19 17:02:24 -07:00
Module.cpp	Sync to upstream/release/646 (#1458)	2024-10-04 11:29:55 -07:00
NonStrictTypeChecker.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
Normalize.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
OverloadResolution.cpp	Sync to upstream/release/645 (#1440)	2024-09-27 11:58:21 -07:00
Quantify.cpp	Sync to upstream/release/637 (#1354)	2024-08-02 07:30:04 -07:00
Refinement.cpp	Sync to upstream/release/600 (#1076)	2023-10-20 18:10:30 -07:00
RequireTracer.cpp	Sync to upstream/release/532 (#545)	2022-06-16 18:05:14 -07:00
Scope.cpp	Sync to upstream/release/641 (#1382)	2024-08-30 13:16:51 -07:00
Simplify.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
Substitution.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
Subtyping.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
Symbol.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
TableLiteralInference.cpp	Sync to upstream/release/648 (#1477)	2024-10-18 10:27:15 -07:00
ToDot.cpp	Sync to upstream/release/648 (#1477)	2024-10-18 10:27:15 -07:00
TopoSortStatements.cpp	Sync to upstream/release/555 (#768)	2022-12-02 10:09:59 -08:00
ToString.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
Transpiler.cpp	Sync to upstream/release/637 (#1354)	2024-08-02 07:30:04 -07:00
TxnLog.cpp	Sync to upstream/release/649 (#1489)	2024-10-25 16:15:01 -04:00
Type.cpp	Sync to upstream/release/649 (#1489)	2024-10-25 16:15:01 -04:00
TypeArena.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
TypeAttach.cpp	Sync to upstream/release/648 (#1477)	2024-10-18 10:27:15 -07:00
TypeChecker2.cpp	Sync to upstream/release/648 (#1477)	2024-10-18 10:27:15 -07:00
TypedAllocator.cpp	Rename Windows.h to windows.h (#1055)	2023-10-03 06:59:44 -07:00
TypeFunction.cpp	Sync to upstream/release/651 (#1513)	2024-11-08 13:41:45 -08:00
TypeFunctionReductionGuesser.cpp	Sync to upstream/release/645 (#1440)	2024-09-27 11:58:21 -07:00
TypeFunctionRuntime.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
TypeFunctionRuntimeBuilder.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
TypeInfer.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
TypeOrPack.cpp	Sync to upstream/release/600 (#1076)	2023-10-20 18:10:30 -07:00
TypePack.cpp	Sync to upstream/release/641 (#1382)	2024-08-30 13:16:51 -07:00
TypePath.cpp	Sync to upstream/release/646 (#1458)	2024-10-04 11:29:55 -07:00
TypeUtils.cpp	Sync to upstream/release/648 (#1477)	2024-10-18 10:27:15 -07:00
Unifiable.cpp	Sync to upstream/release/571 (#895)	2023-04-07 14:01:29 -07:00
Unifier.cpp	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
Unifier2.cpp	Sync to upstream/release/637 (#1354)	2024-08-02 07:30:04 -07:00