Имеется следующий код с использованием flow
function foo(x: type2): any {}
type type1 = {
a: boolean
}
type type2 = {
a: boolean,
b?: string
}
let obj: type1 = {
a: true
}
foo(obj);
В данном случае, flow падает с ошибкой
Cannot call 'foo' with 'obj' bound to 'x' because property 'b' is missing in 'type1' [1] but exists in 'type2' [2]. [prop-missing]
Почему такое происходит, ведь в данном случае параметр b необязательный и не должен требоваться при проверке типов?