Cannot inherit generic classes (including tables)

Hello, I apologize for bringing yet another generics issue as I know it takes time for it to be made solid... Thanks for looking into my problem. I use the following code to extend the number[] class, but then the elements are not marked as numbers for a non literal object.

---@class NumberTable: number[]

---@param t NumberTable
---@return number|nil
function FirstElement(t)
  local n = t[1] -- marked as unknown
  return n
end

---@param t number[]
---@return number|nil
function FirstElementBis(t)
  local n = t[1] -- marked as number
  return n
end

I would expect t[1] to be marked as number. I also tried replacing number[] with table<number> and table<number, number> without success. Thank you!

(I use LuaLS on Neovim on Linux)

Reproduisez le problème dans LuaLS avec les annotations NumberTable et FirstElement fournies, en utilisant Neovim sous Linux comme décrit. Comparez le type inféré de t[1] avec le cas direct number[] et les variantes de table. Le travail est considéré comme terminé lorsque les annotations génériques et de table héritées identifient systématiquement l’élément comme étant de type number.