**TypeScript Version:** 2.7.0-dev.20180206 **Expected behavior:** ```ts type Diff<T, U> = T extends U ? never : T; ``` **Actual behavior:** ```ts type Diff<T, U> = T extends U?never: T; ``` **Related Issues:**