Stack overflow on master branch when creating a cycle between a type alias and a union type #3152
Description
var a27: {prop: number} | {prop: T27};
type T27 = typeof a27;
var b: T27;
var s: string = b;{{ message }}
var a27: {prop: number} | {prop: T27};
type T27 = typeof a27;
var b: T27;
var s: string = b;