luau 0.701

[BrewTestBot]

Created by brew bump

---

Created with brew bump-formula-pr.

release notes

Hello everyone!
This week we have type inference improvements for refinements and user-defined type functions as well as new optimizations in Native Code Generation.
Merged earlier, but now available in the release are implementations of math.isnan, math.isinf and math.isfinite for Math Library RFC by @PhoenixWhitefire in luau-lang/luau#2078 and long awaited Explicit type parameter instantiation RFC by @Kampfkarren in luau-lang/luau#1980. Thank you!
What's New

Fixed a bug that incorrectly allowed chained aliases to depend on aliases defined in deeper directories
Added an optional to_alias_fallback C API to natively support host-injected aliases
Fixed building fuzzers using make
Fixed serialization of userdata type mappings from userdataTypes compiler option which caused a crash on bytecode load

Analysis

Recursion counters have been added to the non-strict mode typechecker to prevent crashes
Irreducible user-defined type functions are now marked as solved, improving consistency of type inference results
Refinements against unknown type now work more consistently, resulting in more accurate inference

--!strict

local Class = {}
Class.__index = Class

type Class = setmetatable<{ A: number }, typeof(Class)>

function Class.Foo(x: Class, y: Class, z: Class)
    if y == z then
        return
    end
    local bar = y.A -- correctly infers number instead of any
end
Runtime

Added load-store optimizations for loading components of a vector in Native Code Generation (NCG). This should reduce the need to place repeatedly accessed vector components in locals and improve vector component shuffling
NCG will exit to VM earlier when unsafe environment is detected, reducing work it has to throw away
NCG will now optimize better across interrupt callback invocations; interrupts are to observe state and error/yield, general modification of VM state is not allowed there

New Contributors

@PhoenixWhitefire made their first contribution in math.isnan, .isinf and .isfinite implementation luau-lang/luau#2078

Full Changelog: luau-lang/luau@0.700...0.701

Co-authored-by: Andy Friesen [email protected]

Co-authored-by: Annie Tang [email protected]

Co-authored-by: Ariel Weiss [email protected]

Co-authored-by: Hunter Goldstein [email protected]

Co-authored-by: Ilya Rezvov [email protected]

Co-authored-by: Sora Kanosue [email protected]

Co-authored-by: Varun Saini [email protected]

Co-authored-by: Vyacheslav Egorov [email protected]

View the full release notes at https://github.com/luau-lang/luau/releases/tag/0.701.

---

[github-actions]

🤖 An automated task has requested bottles to be published to this PR.

Caution

Please do not push to this PR branch before the bottle commits have been pushed, as this results in a state that is difficult to recover from. If you need to resolve a merge conflict, please use a merge commit. Do not force-push to this PR branch.