Превратить неопределенный доступ к свойству в ошибку

Question

Я заметил, что могу определить тип для функции и случайно получить доступ к свойствам этой функции

type FakeType = {}
type aFunc = string => number

const b: aFunc = () => 1
const a: FakeType = b.whatTheHeck // Flow makes "whatTheHeck" any type

Есть ли способ сделать это в Flow ошибкой?

Answer 1

Я действительно не знаю, почему Flow не выдает ошибку при этом автоматически, но вы можете объявить aFunc как вызываемый объект, а не просто как функцию, например

type aFunc = {
  (string): number,
};

( На flowtype.com/try)