Recursive type definitions

[jart]

In TypeScript, I can do the following

interface RecursiveArray<T> extends Array<T|RecursiveArray<T>> {}

But in Closure, I can't do this:

/**
 * @typedef {!Array<T|RecursiveArray<T>>}
 * @template T
 */
var RecursiveArray;

[dimvar]

You can define recursive structural types with @record. Typedefs can only be used to define an alias for an existing type, not to define a new type.

[jart]

Amazing!