Портирование unicode включило приложение Delphi 2006 года к Delphi 2009

TS выдает ошибку, поскольку возвращаемое значение будет иметь тип IReportItemRegions | IReportItemFactionStatus.

Если его типа IReportItemFactionStatus, то нет regions в нем. Так что это должно выдать ошибку.

Когда вы добавляете эту проверку: reportData.type !== "REGIONS", вы говорите машинопись, что для случаев, когда вы получаете IReportItemFactionStatus, вы возвращаетесь раньше, и console.log(reportData.regions); становится недоступным кодом. Следовательно, нет ошибки.

Альтернативный способ:

enum ReportType {
  REGIONS = "REGIONS",
  FACTION_STATUS = "FACTION_STATUS"
}

export interface IReportItem {
  type: ReportType;
  regions?: [];
}

// No need for this now
//export type IReportItem = IReportItemRegions | IReportItemFactionStatus;

export type IReport = Array < IReportItem > ;

// ... code ...
// report has type IReport

const reportData: IReportItem | null = report.find((d) => {
  return d.type === ReportType.REGION;
});

if (!reportData) {
  return [];
}
console.log(reportData.regions); // Typescript error here