Type discrimination in function calls for callable types doesn't work if discriminating property is optional

TypeScript Version: 3.7.0-dev.20191015

Search Terms: type discrimination, callable, signatures, implicit any

Code

function test(
  a:
    | { type?: 1; property: (a: number) => void }
    | { type: 2; property: (a: string) => void },
) {
  return a.property
}


test({
  property: (x) => { // complaining that x implicitly has type any
    console.log('hi')
  },
})

Expected behavior:

x should be inferred to be number.

Actual behavior:

x is any.

If you change type?: 1 to type: 1, it works as expected.

Playground Link: link

Related Issues: #7294 (closed with #29011 - see second half of the original post, I believe it describes why this issue occurs)

まず、提供されている TypeScript 3.7 の再現コードを実行し、必要な discriminant バリアントと動作を比較します。callable-type discrimination の背景については、関連する issue #7294 と、そこから参照されている #29011 を確認してください。optional な discriminating property が、callback parameter を any ではなく number として推論し続ければ完了です。