Fine in 4.7 and 4.6 ```ts function foo<T extends unknown>() { let x = {}; x as T; } ``` Fine in 4.6, **fails** in 4.7 ```ts function foo<T>() { let x = {}; x as T; } ```