`any` appears to shortcircut structural type checking

<!-- 🚨 STOP 🚨 𝗦𝗧𝗢𝗣 🚨 𝑺𝑻𝑶𝑷 🚨 Half of all issues filed here are duplicates, answered in the FAQ, or not appropriate for the bug tracker. Even if you think you've found a *bug*, please read the FAQ first, especially the Common "Bugs" That Aren't Bugs section! Please help us by doing the following steps before logging an issue: * Search: https://github.com/Microsoft/TypeScript/search?type=Issues * Read the FAQ: https://github.com/Microsoft/TypeScript/wiki/FAQ Please fill in the *entire* template below. --> <!-- Please try to reproduce the issue with `typescript@next`. It may have already been fixed. --> **TypeScript Version:** 3.5.0-dev.20190507 <!-- Search terms you tried before logging this (so others can find this issue more easily) --> **Search Terms:** any, unsound, extends, never **Code** ```ts // I detect if F is `any` by checking if F extends `never`. // (F extends never ? true : false) produces `true|false` for `F = any` // and `false` or `never` for everything else. type Decider<F> = { prop: (F extends never ? true : false) extends false ? "isNotAny" : "isAny"; }; let foo!: Decider<string>; let bar: Decider<any> = foo; let fooProp: "isNotAny" = foo.prop; let barProp: "isAny" = bar.prop; ``` **Expected behavior:** Either `bar.prop` should have the type `"isAny"|"isNotAny"` or `foo` should not be assignable to `bar`. **Actual behavior:** `foo` is assignable to `bar` and `bar.prop` has the type `"isAny"` which is incompatible with `foo.prop`'s `"isNotAny"`. **Playground Link:** [link](https://www.typescriptlang.org/play/#src=%2F%2F%20I%20detect%20if%20F%20is%20%60any%60%20by%20checking%20if%20F%20extends%20%60never%60.%0D%0A%2F%2F%20(F%20extends%20never%20%3F%20true%20%3A%20false)%20produces%20%60true%7Cfalse%60%20for%20%60F%20%3D%20any%60%0D%0A%2F%2F%20and%20%60false%60%20or%20%60never%60%20for%20everything%20else.%0D%0Atype%20Decider%3CF%3E%20%3D%20%7B%0D%0A%09prop%3A%20(F%20extends%20never%20%3F%20true%20%3A%20false)%20extends%20false%20%3F%2…