React Typescript Принудительная ошибка времени компиляции для пустого массива в реквизитах

Вот моя составляющая:

import {Button, Tabs} from 'antd';
import * as React from "react";
import {ReactElement} from "react";
import {IBaseComponentProps} from "../BaseComponent/BaseComponent";

const operations = <Button type = {"primary"}>Extra Action</Button>;

export interface ITabContent {
  title: string,
  content: ReactElement<any>
}

interface ITabProps extends IBaseComponentProps {
  tabs: ITabContent[]
}

export const Tab: React.SFC<ITabProps> = props => {
  const tabs: any = [];
  props.tabs.forEach((tab: ITabContent, index: number) => {
    tabs.push(<Tabs.TabPane tab = {tab.title} key = {index}>{tab.content}   </Tabs.TabPane>)
  });
  return (
      <Tabs tabBarExtraContent = {operations}>
        {...tabs}
      </Tabs>
  );
};

Я хочу, чтобы вкладки в моих реквизитах не были пустыми, желательно, чтобы ошибка времени компиляции.

Я знаю, что вы можете сделать что-то вроде «ИЛИ» с выводом типа в машинописном тексте:

boolean = "false" | "правда"

Но я не могу понять, как правильно набирать вкладки. Например, я пробовал что-то вроде:

tabs: ITabContent[] & !never[]

Но это явно не компилируется. Есть ли оператор, эквивалентный «&», о котором я не знаю?