mirror of
https://github.com/luau-lang/luau.git
synced 2025-08-26 11:27:08 +01:00
92b0338400
We're back on track after the long weekend!
## General
- `clang-format`ed new code. Keep your code tidy!
- Disable some Luau tests that are broken currently.
- Enable fragment autocomplete to do tagged union completion for modules
typechecked in the old solver.
## New Type Solver
- Fix false positives on generic type packs in non-strict mode.
- Update type signature of `setmetatable` to be `<T, MT>(T, MT) ->
setmetatable<T, MT>`.
- Make local type aliases available in type functions. For example:
```
type Foo = number
type Array<T> = {T}
type function Bar(t)
return types.unionof(Foo, Array(t))
end
```
## VM/Runtime
- Make sure `lua_unref` doesn't accept refs which did not exist in the
table.
---
Co-authored-by: Andy Friesen <afriesen@roblox.com>
Co-authored-by: Ariel Weiss <aaronweiss@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: 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: 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>
Co-authored-by: Andy Friesen <afriesen@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 | ||
| ExpectedTypeVisitor.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 | ||
| TypeIds.cpp | ||
| TypeInfer.cpp | ||
| TypeOrPack.cpp | ||
| TypePack.cpp | ||
| TypePath.cpp | ||
| TypeUtils.cpp | ||
| Unifiable.cpp | ||
| Unifier.cpp | ||
| Unifier2.cpp | ||