mirror of
https://github.com/luau-lang/luau.git
synced 2025-08-26 11:27:08 +01:00
3eb0c13678
# General Changes * Remove a `static_assert` that prevented Luau from building on 32-bit targets. * Fix `proxyrequire` (see https://github.com/luau-lang/luau/pull/1804) * Replace contents API with new `loadname` API in Luau.Require * Store the positions of `:` symbols in the CST. * Fix a minor bug in the new incremental autocomplete engine: Properly suggest `else` and `elseif` if the cursor is currently within an `if` block. # New Type Solver * Allow generics to be substituted for negation types when performing subtype tests * Crash fixes * Surface subtyping errors more consistently. * Avoid creating double-negation types (like `~~(false?)`) when generating constraints. # Internal Contributors Co-authored-by: Andy Friesen <afriesen@roblox.com> Co-authored-by: Ariel Weiss <aaronweiss@roblox.com> Co-authored-by: Aviral Goel <agoel@roblox.com> Co-authored-by: Hunter Goldstein <hgoldstein@roblox.com> Co-authored-by: Sora Kanosue <skanosue@roblox.com> Co-authored-by: Talha Pathan <tpathan@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> --------- Co-authored-by: Hunter Goldstein <hgoldstein@roblox.com> Co-authored-by: Varun Saini <61795485+vrn-sn@users.noreply.github.com> Co-authored-by: Alexander Youngblood <ayoungblood@roblox.com> Co-authored-by: Menarul Alam <malam@roblox.com> Co-authored-by: Aviral Goel <agoel@roblox.com> Co-authored-by: Vighnesh <vvijay@roblox.com> Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com> Co-authored-by: Ariel Weiss <aaronweiss@roblox.com> |
||
|---|---|---|
| .. | ||
| Anyification.cpp | ||
| ApplyTypeFunction.cpp | ||
| AstJsonEncoder.cpp | ||
| AstQuery.cpp | ||
| Autocomplete.cpp | ||
| AutocompleteCore.cpp | ||
| AutocompleteCore.h | ||
| BuiltinDefinitions.cpp | ||
| Clone.cpp | ||
| Constraint.cpp | ||
| ConstraintGenerator.cpp | ||
| ConstraintSolver.cpp | ||
| DataFlowGraph.cpp | ||
| DcrLogger.cpp | ||
| Def.cpp | ||
| Differ.cpp | ||
| EmbeddedBuiltinDefinitions.cpp | ||
| EqSatSimplification.cpp | ||
| Error.cpp | ||
| FileResolver.cpp | ||
| FragmentAutocomplete.cpp | ||
| Frontend.cpp | ||
| Generalization.cpp | ||
| GlobalTypes.cpp | ||
| InferPolarity.cpp | ||
| Instantiation.cpp | ||
| Instantiation2.cpp | ||
| IostreamHelpers.cpp | ||
| JsonEmitter.cpp | ||
| Linter.cpp | ||
| LValue.cpp | ||
| Module.cpp | ||
| NonStrictTypeChecker.cpp | ||
| Normalize.cpp | ||
| OverloadResolution.cpp | ||
| Quantify.cpp | ||
| Refinement.cpp | ||
| RequireTracer.cpp | ||
| Scope.cpp | ||
| Simplify.cpp | ||
| Substitution.cpp | ||
| Subtyping.cpp | ||
| Symbol.cpp | ||
| TableLiteralInference.cpp | ||
| ToDot.cpp | ||
| TopoSortStatements.cpp | ||
| ToString.cpp | ||
| Transpiler.cpp | ||
| TxnLog.cpp | ||
| Type.cpp | ||
| TypeArena.cpp | ||
| TypeAttach.cpp | ||
| TypeChecker2.cpp | ||
| TypedAllocator.cpp | ||
| TypeFunction.cpp | ||
| TypeFunctionReductionGuesser.cpp | ||
| TypeFunctionRuntime.cpp | ||
| TypeFunctionRuntimeBuilder.cpp | ||
| TypeInfer.cpp | ||
| TypeOrPack.cpp | ||
| TypePack.cpp | ||
| TypePath.cpp | ||
| TypeUtils.cpp | ||
| Unifiable.cpp | ||
| Unifier.cpp | ||
| Unifier2.cpp | ||