In the [section on type aliases](https://www.typescriptlang.org/docs/handbook/advanced-types.html#type-aliases), the comment and example about them [erroring on the right side of the declaration](https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-the-in-operator%23:~:text=However%2C%20it%E2%80%99s%20not%20possible%20for%20a%20type%20alias%20to%20appear%20anywhere%20else%20on%20the%20right%20side%20of%20the%20declaration%3A) is no longer accurate since TypeScript v3.7. ([Playground](https://www.typescriptlang.org/play/index.html?ts=3.7.5#code/PTAEFEA8EMFsAcA2BTUAzATge1qALgBaoAmWAxgM4CwAUHgJ7yoCaAlgNbIWgC8oAghgzR6AHjacKAPgDcoEKGRCsGUAAoAdljygKrDWVQBmAHQB2AJS1aZLBoo68XPAC5QErr1ABtALpyFAHcVdgogA)) Another example explaining when [circular references are allowed](https://github.com/microsoft/TypeScript/pull/33050#:~:text=aliased%20types%20of%20the%20following%20kinds) and when they are disallowed in newer versions of TypeScript would be beneficial.
In the section on type aliases, the comment and example about them erroring on the right side of the declaration is no longer accurate since TypeScript v3.7. (Playground)
Another example explaining when circular references are allowed and when they are disallowed in newer versions of TypeScript would be beneficial.