Уничтожение объектов как параметров функций с типами потока

Question

Как деструктурировать параметры функции, сохраняя при этом аннотацию типа потока для новых (неструктурированных) значений?

Пример:

type Car = {
  model: string,
  maxSpeed: number
}

function processCar({ model, maxSpeed }: Car) {
  // model should be anotated as string 
  // and maxSpeed as number here but that is not the case
}

Есть ли синтаксис для указания этих пропущенных типов вручную? Они, кажется, не выводятся автоматически (в настоящее время есть предложение Flow для этого?).