That doesn't seem to show the same information as VSCode though. If you go to https://goo.gl/zteCbj and hover over the `x`, it will show type A. If you hover over `y` it will show either AB or B|null, depending on whether you have strictNullChecks enabled. IntelliJ also doesn't show any information for type aliases.