Тип Объект, созданный с использованием деструктурированного объекта и оператора распространения

Question

Я хочу напечатать foo, который я создал следующим образом:

interface IFoo {
  b: number;
  c: number;
}
interface IBar {
  a: number;
  b: number;
  c: number;
}
const bar: IBar = { a: 1, b: 2, c:3 };
const { a, ...foo } = bar;

Я видел на других сообщениях SO, что я могу решить это так:

const { a, ...foo }: { a: number, foo: IFoo } = bar;

Нозатем я получаю следующую ошибку:foo: IFoo;}».Свойство 'foo' отсутствует в типе 'IBar'.

Я нашел следующее решение:

const typedFoo: IFoo = foo;

теперь я могу использовать typedFoo кактипизированный объект вместо foo - но это я считаю не элегантным.