関数の交差型は、どちらの型宣言も受け入れないのはなぜですか？

Question

私はエラーなしで、このコードのタイプをチェックドキュメントページhttps://flowtype.org/docs/union-intersection-types.html#_

から例に

/* @flow */ 
class Foo {} 
class Bar {} 
declare var f: ((x: Foo) => void) & ((x: Bar) => void); 
f(new Foo()); 

を取って。

私の場合、結果はすぐには分かりません。

それらは別の例でどこページの上部付近に表示されるように：

/* @flow */ 
type I = {a: number} & {b: number}; 
var x: I = {a: 1, b: 2}; 
x = {a: 1, b: 2, c: "three"}; 

（用語の意味自体から流れる）交差点は、2（またはそれ以上）の種類の化合物です。基本的にはANDです。

なぜ、f(new Foo());はタイプチェックに失敗しないのですか？ new Foo()引数は明らかにBarのインスタンスではないため、渡す必要はありません。

私には何が欠けていますか？私は|と&スワップの意味は、あなたが（typeまたはインプレースタイピング対）declare varを使用するときにことを発見したいくつかのより多くの研究の後

UPD

。私はそれが最初の場所でも起こる理由を説明することはできません。

Answer 1

私はあなたの質問を誤解しているかもしれませんが、私はそれをタイプチェックすることが期待されます。引数new Foo()はタイプFooであるため、fタイプがFoo => ...である限り、アプリケーションは正常である必要があります。します。 （でもはタイプBar => ...です）。比較のために

、fはタイプ(x: Foo & Bar) => voidを持っていた場合、物事はnew Fooので、確かにタイプFooの間に、またタイプBarのではない、です。TypeCheckないでしょう。

fのタイプが((x: Foo) => void) | ((x: Bar) => void)の場合は、型チェックが行われません。引数new Fooは、タイプがFooで、fタイプがFoo => voidである場合がありますが、タイプはBar => voidです。