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.