Luau intersection record types

Luau intersection record types

Run as a standalone current Luau script, or as a Script in Roblox Studio ServerScriptService. No Roblox engine APIs are required; type-annotated syntax is not standard Lua.

--!strict
type Named = {name: string}
type Positioned = {x: number, y: number}
type Entity = Named & Positioned
local function describe(entity: Entity): string
    return entity.name .. "@" .. tostring(entity.x) .. "," .. tostring(entity.y)
end
print(describe({name = "spawn", x = 2, y = 5}))

1. Output: spawn@2,5. The supplied record satisfies both the name and coordinate requirements.