type T = number;

1 as T;
//   ^ defined: 1

export {};