类型细化不适用于instanceof

Question

我有以下代码：

function getBar(foo : mixed) {
  if (foo instanceof HTMLElement) {
    return foo.bar;
  }
}

function getBar2(foo : HTMLElement) {
  return foo.bar2;
}

getBar通过，而getBar2失败......

10:   return foo.bar2;
                 ^ property `bar2`. Property not found in
10:   return foo.bar2;
             ^ HTMLInputElement

当然这两种都不应该通过类型检查？

根据文档，foo strace -s 99 -ffp 8259 strace: attach: ptrace(PTRACE_SEIZE, 8259): Operation not permitted 在这种情况下，不是吗？