Recursive types limit?

[maxime1992]

TypeScript Version: 2.9.2

Search Terms:

• recursive type
• recursive limit

Code

export type RouteData<Data = {}> = {
  propA: boolean;
} & Data;

export interface Route<Data = {}> {
  data?: RouteData<Data>;
  children?: Route<RouteData<Data>>[];
}

const routes: Route[] = [
  {
    data: { propA: true }, // !!! put a number here and there'll be an ERROR !!!
    children: [
      {
        data: { propA: true }, // !!! put a number here and there'll be an ERROR !!!
        children: [
          {
            data: { propA: true }, // !!! put a number here and there'll be an ERROR !!!
            children: [
              {
                data: { propA: true }, // !!! put a number here and there'll be an ERROR !!!
                children: [
                  {
                    data: {
                      propA: 3, // this one's just fine
                    },
                  },
                ],
              },
            ],
          },
        ],
      },
    ],
  },
];

Expected behavior:
Recursive should be working after 2 or 3 levels deep?

Actual behavior:
The 3rd or 4th level of recursion is not working correctly and is probably inferring a type any.

That said, within VSC when I hover the property that should error and doesn't, the type displayed is the right one:

Playground Link: Playground repro

Related Issues:

Might eventually be related to #25860 or #23897 but I don't think it's the exact same case.