René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"typescript passes `number | Promise\u003cnumber\u003e` as if it were `number` (or something like that)","articleBody":"# Bug Report\r\n\r\nSomething is very weird that makes typescript pass `Promise\u003cnumber\u003e` as if it were a `number` when it is an object field.  Typescript correctly recognizes that `Promise\u003cnumber\u003e` is not a number when it is a plain variable.  Weird.\r\n\r\n### 🔎 Search Terms\r\n\r\npromise numeric\r\n\r\n### 🕗 Version \u0026 Regression Information\r\n\r\nI believe this has always existed in typescript.  I have tried multiple versions on playground (from 3.3 up to 5).   I did read the FAQs in https://github.com/Microsoft/TypeScript/wiki/FAQ#common-bugs-that-arent-bugs and found nothing related.\r\n\r\n### ⏯ Playground Link\r\n\r\n[Playground link with relevant code](https://www.typescriptlang.org/play?ts=5.0.0-dev.20221227#code/MYewdgzgLgBGBccCuBbARgUwE4wD4wAUsQUBLCDAHjFUywD4YBeQ4sigOiwwhABsAbhgAUABgCUAbgBQoSPwwc+IAObCwMeiwmSYMAPT6YAYRBZuwKHwCeMbgCsMljABNEAeQAO2AIZQzmizAPmBgILCYMD6ennykrjD+rCTkVDTo2IwhLsgZWBzSsuDQMABmICCIAN4IuXR4yexptJkAvswwVdJ6tUQpnNy8giISADTSrTJyQ4rKauUgHBpaMDoGRgCSYKDmTla2UNbeMMAAFk4A1hAcegBKSGBQpCgYdjxIfLDkMGiqSNfSIA)\r\n\r\n### 💻 Code\r\n\r\n```ts\r\nconst n: number | Promise\u003cnumber\u003e = Promise.resolve(0);\r\nconsole.log(n \u003e= 0);  // Correctly rejected: Operator \u003e= cannot be applied to Promise\u003cnumber\u003e and number.\r\n\r\nconst foo: {n: number | Promise\u003cnumber\u003e} = {\r\n  n: Promise.resolve(0),\r\n};\r\nconsole.log(foo.n \u003e= 0); // Incorrectly type checks.  Runtime result is bogus.\r\n```\r\n\r\n### 🙁 Actual behavior\r\n\r\nThe last expression passes the type checker even though it is clearly wrong.\r\n\r\n### 🙂 Expected behavior\r\n\r\nThat the last expression is rejected with `Operator \u003e= cannot be applied to Promise\u003cnumber\u003e and number.`.","author":{"url":"https://github.com/azizghuloum","@type":"Person","name":"azizghuloum"},"datePublished":"2022-12-28T00:51:19.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":10},"url":"https://github.com/52036/TypeScript/issues/52036"}