Эта ошибка возникает, потому что тип "never" представляет собой тип, который никогда не может иметь значения.
Ошибку можно понять, рассмотрев описание обоих типов. Тип "never[]" описывает массив, элементами которого являются значения типа "never". Другими словами, это пустой массив, потому что "never" - это тип, который никогда не может иметь значений.
С другой стороны, тип "undefined" описывает отсутствие значения. Он может быть назначен параметру типа "never[] | undefined", потому что тип "undefined" является допустимым значением для этого параметра.
Однако, попытка назначить параметру типа "never" значение типа "never[]" или "undefined" вызовет ошибку. Потому что тип "never" никогда не может иметь значений, и назначение параметру этого типа значения, даже если это "never[]" или "undefined", является недопустимым.
Таким образом, чтобы избежать этой ошибки, необходимо изменить тип параметра так, чтобы он мог принимать значение типа "never[]" или "undefined". Например, можно изменить тип параметра на "never[] | undefined".