Add rule to disallow recursive conditional types

[ajafff]

microsoft/TypeScript#26223 (comment)

This style of construct: type A<T> = { 0: X, 1: A<B<T>>}[A extends Y ? 0 : 1] is not supported; if you use it in production code, do not be surprised if it gives unexpected or broken results in some environments... and any such code should probably feature prominent warnings to that effect.

[ajafff]

TypeScript now officially supports recursive conditional types and became better at detecting recursion.
I wonder if this specific pattern still causes issues?