2つの「厳密な」オブジェクトの和集合の型を細分化する方法は？

Question

DateObjの2つの可能性はまだ分かりませんが、Flowはelseブランチの型を改良するようには見えません。これを正しく入力するにはどうすればよいですか？

type DateObj = {| date: string |} | {| dateTime: string |} 

export const parseDate = (dateObj: DateObj) => { 
    if (dateObj.date) { 
    return moment(dateObj.date).toDate() 
    } else { 
    return moment(dateObj.dateTime).toDate() 
    } 
} 

フロー：プロパティdateTime。 https://flow.org/try/にしよう

Answer 1

（最後のreturn文の行で）オブジェクト型に

を見つけていないプロパティは、それがこのエラーを修正する私に

if (dateObj.date) { 
    ^Sketchy null check. Perhaps you meant to check for null instead of for existence? 

を追加誤差を与え、助けも私を解きます元号

if (dateObj.date !== undefined) {