File

teal-src/util/array.d.tl @ 12654:f3dbbc7655e6

usermanager: Handle local JIDs being passed to get/set_jid_role() There is no reasonable fallback for set_jid_role() because users may have multiple roles, so that's an error.
author Matthew Wild <mwild1@gmail.com>
date Mon, 01 Aug 2022 20:26:00 +0100
parent 12611:33b7e7bd83fd
line wrap: on
line source

local record array_t<T>
	{ T }
end

local record lib
	metamethod __call : function () : array_t
end

return lib