TS2456: Type alias 'type' circularly references itself?

Question

[Алексей Повольнов]

type A = {
  b: number;
  c: C;
}

function getC(a: A) {
  return {
    b: a.b
  }
}

type C = ReturnType<typeof getC>

В итоге получаем TS2456: Type alias 'type' circularly references itself, что не лишено смысла конечно же, но как это обойти?

Comments

[WbICHA]

как это обойти?

Написать нормально типы?

type A = {
  b: number;
  c: Omit<A, 'c'>;
}

function getC(a: A): A[c] {

А ещё лучше тупо вынести тип ретурна в отдельный тип или прямо в функции и прописать.

[WbICHA]

Хотя стоп, а зачем тут вообще С?

type A = {
  b: number;
}

function getC(a: A): A {

[Алексей Повольнов]

гениально, но это не решение проблемы, реальная задача требует именно такого решения, данный пример приведен для простоты понимания сути проблемы, а не вот это вот все

[Alexandroppolus]

Тоже не понимаю, зачем тут этот "круговорот" с выводом типа через функцию.

typeof вообще не педагогичен, способствует возложению на пятый принцип solid

почему нельзя просто взять и вывести тип напрямую?

[Алексей Повольнов]

Alexandroppolus, в данном конкретном случае, хочется чтобы тип динамически формировался, удобства ради, если нет нормальных решений, то видимо конечно придется пожертвовать удобством