Repository: TypeScript
Issue: Regression from 4.1.5 to 4.2.3: "Type instantiation is excessively deep and possibly infinite."
Labels: Needs Investigation

# Bug Report
The attached playground compiles happily and quickly in Typescript 4.1.5, but fails with "Type instantiation is excessively deep and possibly infinite" in Typescript 4.2.3. Is a conditional distributing that didn't use to?

<!--
  Please fill in each section completely. Thank you!
-->

### 🔎 Search Terms

<!--
  What search terms did you use when trying to find an existing bug report?
  List them here so people in the future can find this one more easily.
-->

### 🕗 Version & Regression Information

<!-- When did you start seeing this bug occur?

"Bugs" that have existed in TS for a long time are very likely to be FAQs; refer to
  https://github.com/Microsoft/TypeScript/wiki/FAQ#common-bugs-that-arent-bugs

If possible, please try testing the nightly version of TS to see if it's already been fixed.
For npm: `typescript@next`
This is also the 'Nightly' version in the playground: http://www.typescriptlang.org/play/?ts=Nightly

Note: The TypeScript Playground can be used to try older versions of TypeScript.

Please keep and fill in the line that best applies:
-->
- This changed between versions 4.1.5 and 4.2.3
- Fails on nightly as well

### ⏯ Playground Link

<!--
  A link to a TypeScript Playground "Share" link which shows this behavior

  The TypeScript Workbench can be used for more complex setups, try
  https://www.typescriptlang.org/dev/bug-workbench/

  As a last resort, you can link to a repo, but these will be slower for us to investigate.
-->
[Playground link with relevant code](https://www.typescriptlang.org/play?jsx=0&ts=4.1.5#code/PQKhCgAIUhlAXAhvAppANogRi9BnSAY0QDtIdI94AnASxIHM8oRhx4BPABzQWRQAq3NAF5IASRIATFAA8hPANzhwoCNEgBBQvFoB7Mphz4ipcmip1GzaGzlc91eJE48tO-SQByiALaDhSDFJGXlhZVUwFkgAJRQuahQ8FBJ4AkRKJFRIUilIKWQM3MhaNKJHRLwHaXoGfMKAOhY7WQcnF0C+VAAeWEg5VGkCLoCeABpIABEgyABvAF8APhm4xCkDdA5uyeWAMjmoSES1jY5M-h9-AC44ZXmVNWiAcVoANzRtXQMCeD1IEgGIwAFABKFx-IG+RAcHBgmi0BgMFDUHIuaikPClTxNWzgeyOZyuD4eAzdS5oAYpKQET6eckKFATAAK0PQejWyzEq3WJE23RZHDZHMg+1mkEOxx5mxyJO8fhQN3J4vmEWAatUasgAFFqNRHMw1WxIuoYHEEkkUmUMoQ9L4uLR0Mj+rrHJB-Hg8IgkQ1tS6UVh0UNIOb3qkjihEOhpYRHe8UQBXZLUAgAMz1vn+flqLgAFihaCiqPx0gQDGg9CncxS-W6kp6kTYYMU8PGsHHdIxnXqUYQ84QANa1H0ATRQ8Am8Dz5TtDqdVAd6HytCqmA4PynlmzyCr-WkkArO5TiFneWIVBKNWIHbqAHcc9vJyhosuW2hl0dkHmUZOzHhbWOc2zLh4wALxA9Bswg-s0BteN0DyEg9GcRAPQRMhfn+FA4xxVh2ECHVuwAIUDKRugETlYgjKUtnIkU5kgAB9ZEiJIm5Xj0Wg8hVB5gA6NwvCQzQRgZAjXTEAByAQpy4FDkjyItsleSN4zfAhEOQ85siJH0RgIXxE2cChN0YCYSHjXwcGoCZXSwPQ9EdMwINQdF0AacTlCJOAshQTR0ElDhJhQGNEESKRRJRCSpIsHhCFoFNaBQeTvMge90j8qizhwFJ8iCzBQrcjzAgEQNMS+EhfP8wLgtC8KZkkwCfhKrEDBSlCcnStZMpQbKZGqxKCrwtxxCjFAGEjYqMWakhaokgS0Umsr+lkZcyjTW0d0IeNdUtTS0Awx9w3gLaAQQgZdoGzzaQMCqMqqvLErqzQyEQWVIBvUoc1zd8jFwVq0v88wetykL+vcwa0AACVyR1qAE+AhOSyKp0SI7qBOyAlPQFSSjUpDUQUlAwc8gSoekGGADFHBGOqAFkX2ze8yadFNXT-fx-gMABaZzfHoSNdqJwIrvKjqpA4UmpEdPIJOF9qAcZyWHpZ78GoFiJPJCOQGRmYy6gAH3+czLMgA28A4Cz7NVTUADVI045B9XBrQPWReAvBQG8Rl6JbBmpLz+AZCZdIovpKSDXTIAAfl9Fjcl6bybs6u6QbCv1lhuWBCrcTQXacd2bwmkhSs8b2w794ThAmLwfapYZvMDyBC+L74Q5roNoI4A8m6mgho+rsuCG7sq8AAbVgABdKOY8cYi46HzxE7F5OarTyBFTXyAvCzj5c-h2U4cC+KTu6TR+9kX2aX3+UG+F8kCAHiRpC14QKNPtu-dv+Ve+n6hZ+kE-ZSLwCsDUK6ctBbydjnJMe8ypwyARLKWpdz6139qgG+Z8L7uFgdfSuWDPA00QFwCihxQ7IPbigTulZhYEK4IcaOb8H7UMIWPSedCf5-1IsLeB0NEqLEODcU+-DwHb2dtA3y6ABIkAEMiXmJBIy6QQYleO-AaETHnt8CYiipDBxmIcDuB4Rg0PfgQfRlYtG6TYexTi4pIAb1MY3Jqw9jGQHseY7yNgp5WKkEI8KHCyR6EUdQSm1ARiLAiCoTyhiXqAQBIfegU1egTE0BRWYhwFYwzwDcVJtjbEj0yZkKwDBx5ZMODkyAI9EA3F1sUyAQJNrUAziPexE8JgvTKgIppFCDyaHHmCEQyxYCdMoXAcepTIDzBseM5UVstBRj0DeAgiZwQ5C4DwPc+l0C6C4I6DGykkiQGVjuT07MO4XlRJ5KEXAmianEJWA6pzIwAzkCtAg9AdyXImDeNAAIHoYUSL4PQ7wSjOD-G9GCZhEiczWHkUob0PqonjCQTw+47lTnsnkYoAIby7Kxkka5vFbkc3HJAAAVgZSAAAieg0CKU7ixS4ihkCpBSAEHoBkNDug0wmAAaWcbrE2hsLJOlNubWy6AJjW2IbY3lD97E00mbY6OAB5Xm8BOU8r2JRE4vIthiiaWc7lNSaYj0NQK624zlhjJuPK-Y3JTjdD1f2A1NTzVLHCYaDUvECYEN7PQFAoJyDxgdDIagnqHhRA0JoQNwbmbplMFGbM3rol+tBDhFobRCSdG8j6mJKBCJBvgk6MQ2TICPByTATQzL8bJX2qrAmbpk0AhxLY3CtjJSnF2hnby5NEWEAdW68A9wnZRN9QCHtJBCAzADf01BKAc1+vzTG6gVs2CGkgA0AmAasAFpDWG400Qo3bqXQcuNxAE2dg3d5UEzQ8StAJHxXg3lF2FuoMo1ANCUmHDLS2rQVaMj1tre+etUJR0oGbbiNtVEO0Ey7fwcdfaolEIiJB7V0oaALU8DcdRJB4NvrnYQiYCwwmDvDSaRuG40LIC2mgQ5Z6IKdgOvWlMvbFpvIOkel9abh3dt7Xhj9MwkGYIruMKYhQZhEaBIcGDojXb5y9rACYzTs2EL4X0gZT6d3Ij44QuijqKFnInrBnoCnRNIGWAOsNa6GjoaLlNLdmnQ0ev3RoKK0aX2HWOg9LAZxrOOM8Ne3E+J2ieWw8+kN2muBqL8y3cTX6I0-srRi+atnFqAYIMBxtYHSmtvDKhs4Nnm4kCw9FnDvHENRYwy3ZDuXqIynaXggwuHysOMq0XQjA6h1lpgK5zEDA5Go3LJWXzrWAu4SC5mtw2GmvKciy1lLng8AUUEygpTKiCOb2cat99KnJO2PqSMDOYxDgAnPgdmTecPbYcSZvCr82W7gDU3NwrYWtPNcS6y9lhCyIlbwEHKuixiOWc1A0Np-mwQcd3U58bD6GskBe6+khM2ju2Ow79w4ws8A0PAJ+lDtXQcGAEbKaba3Zuo6SbKTHKnlC2IlFBnVdXPCBMJ2VQJuGxnlbGWTsZGPVFjIWIcYj3Fb0Zph8LNntiOco5+8j2HlPaFLYYWQj+V9-A3yZOJpYQJ8dymuOdmBdIkJxOPqfRTXSqEU4-Y94W8OIu3cK792XRjRTlKdW80+NThYny8Ekpk5nAceqs9rvAgT7NLvxUaLr5G0AQ6dCjTzeRvPru1yHkEN7oeXVlIEvANvmtk8d+ttxxYcc1Y7cnnhDTYes7K0jp7PdyfD1UZAQvqBFvVfbfTnkCophlmJ9t2bPP1t5+b0kRYR3OsRu61OWAlGBsoqT5n8vqa093uC0LBfTMgm8cR8WGXXPbEY5l8P5gS2SGbbN7OtH++MErfPwfw4XhSFCfcUMgx7jx5HeWLtztcAZfa4EbvW+QSUWcWHhUiEzE3JvUA4OGXdJZEZnRncvAAYUjHQCwBen7Dwwdzz3AO903nAIp1UyCGWGFizxz3cTtzr1lySWZQ+2EA5SPz+3AQB3VjXxZyQJQLQIHG6G3xb132l0OEQMfxv2GV0hl0V0wXsTv1sQf2cV0hf0rF0nf3Rwpw-ynWkzkMEPfwZwJ1lxHnd0e1KRkIfi9noBTCdFwNMPMJ2DGT7jPxEPcRsMgEELsK7h+0cOvyDFRxHk0McK9lwK8GsLKRuF8RIm6GGkdDGnQGw3Cj4SCPYVCPCNGnGhKxiKtXiLjkCTgVCTSJCIyPLyyO8mIzKSB14gaE72vQ9U8kmDLHhwEze1lEbyHygPcUWCBBkCPimiM3w1AyNwSXqLKktyIO7zHWrxJ3r3wUH2l0gKZm0RaJmUQL7CdR-EJDRXp0RVgKSmLDOQOlgJREuRyESAOT5kXAJgICBFoAaEZCrDOHvCBUQmS3t33HjGcAPEfF8FTyqJ71GL73GIMEaKmKPylVqQYn-zESjEkWkWoFkXkXcS0Vt1r2Hk0WaKL0exHVzXhKYSQ1IwPV2gbVA2XxF0iWU1AwxIaJU1i1sRO3gDOzqS2jO0Q3kNnRoS0L-1hxoUZMxN6SGIZK23wy4CUKF2hxtCLhBWJNzS6PnRGInSnRBAlMy1qJnRLWFPPAJngx1m8n7VaJBDbzHGOgODKWk1VN7Rl24iHWVNFP4DqJmy1K6N7z5M5GWBLTjzRkgGW3DnrlwWmGLU1wYnySgVkw9nk1N3sJJ0WEexLVsWJkDJmxmEQ10xdwMxqSDKmHM2qz22+EJBKzVLEAKwSTkxrwk21LGXNN2mzN2jJGjNDOvWLIzLcxDQpLKW-yNInRlzKVzPq3bM8Hg1bPGTTI8xdJj2XUOHuDNNrM7JajEHhNRxtIRK7O+L5IoOHgdP1P7LIDdL9l5Mbw8I3PP0Q1aIYn228kO0YipNBIDILhK2u1wOnPDLGSjIvNawIDEHezZToK+2wP+z7JLPHNKwnUWhzMvOa3zmnNBGpxyRLO1zLO13hOAqmMLL7OdLIAjJyR-JuB-PgzKh7NsVZMguNLGW4lsVNJUAgteknNzymMxJnLF3nP+MfN+JIH40VNp1RjXPEJQU-lV1wU0HV29P3O13JDPKcEAPgCNyUQgMkLJKIVvLbMCHzkxJmHkudyGTOXd3gNJAgO4tTJUDKRIrKngxuFIDODEGgvIros3g9kooC3AtrLLw3ygvX0VlfVMruza3MpvExPa1aLFF2PyQWHmCLLGUQpXLKRwqJzwsbO0JICZ0iqrxbPwrApHOIpsocphitLGNnI0TZIL2RJb1aPaPiXqzRL9V6LKlJIGJU1lMr3LztNopcodw8umMVlmKLyGKVOSrYLst7TUqiuqposmLMoasBLqJcIUJrzYvIWGQaqMKVzrhJ0ZMQ3HlaLGXUJ7NZP9KEv3iAP8jhJwKRJmOgLGV2O6sCWQKjE4IwOcvt0YIgIf3oo-UOGkuspFMwhvBKswyZMyzetJH6ImKIQbLKQaEBvyqRUwrGVsR8pKQitsUBrKJQA6LKgaB8qwpyTyW8hqWQoiphuBqmkRvL1HnrTamqSnmxoRp8tRstMJvhEYEniyXmGRrKQqVlBqV2JyHSBIA4HpvGTBq5rKSFx0trM7zLM7zKt+sXIW2oJZVfJ4HoJyqSGuq8AByBCxS+pICLP5uetsscvso6scqnIoskoltoOlq+wYJ-yYNaOVrhoKs8ACrKSCrFG5s1phgMpSuRG7O5s7xuEFt7XiuHJ1JYpit6onTuAiBLM9uGLzQczSp+KytJwBNlsWzaKtpBveqKtiWTr6LGskrDNasODDq+InRuGqKlIQyzvKrjrMqGrEC-1sRBL13EQhJkWOIUVAL1sroTtiMgEqrTpQBFr+PJKYvVvPCpJGAwuRWrsPP4DlK4HmpmxZNlG6vZIkvLt6WntnpJ0nkHsbJLMntQBzmpjEF3rQDakRX7EQhvGelmp6F1k8rAqHuQkATwFlmMtehPpIDPvmUvth26BvrmAswipuUrHuJZt6nujyEOQJgmHrXWCSBIHEmcF7FIG9G5rilqRJuxDJqPv3u8kvQuHlE3rEDMijDBAxpySCqPrvpySHQAYJSAb+BAZASVldG1zOQYDeGykgdxJgbwDgYQcZmQYiqCvQYMFxo31HiwbwBGFwdQHJHHkZrKhzmFhBxVxQEngAEJCG4J0BubFUcp4aMG8aR4JGpGCZZH5GF4n7ZRlHsF-Bx5aSQlvJWlZRU8oaN4KHfbArdSXTSGR6jzMJTseM-zPBfbCLtLVz8gC7CASNhd70SyvAtQAB1BiSYJVRAhiWAAQTQAQLUG4AAVRIDkX8CkGqMIAPpXNMflBuHEkRUKcSk5nWEIHEhl1kVoH0l8FgHjFWQJESmtmRExB0IAHYx8Ih09ZK9ASmymvZxJEJ6m9BGnAchTayvAlVknUnFRxm5mymS0Knddpm9BZnGnhmVBRm3B8nEgbQ4xsBHRwpJhChtYJIXpCA6x6mUgEopBxIBVxIjwTxOYhQpADmwYTm0AzmgpAVkQrmUAbmxNi1DgiQ8mSBzmwX0QsBrm-RbmkAGQQ7jmV8JtgWEXQXLmUXIW-RJmNTqn8WLnwWiXOZmJHAmnIAQXKXkXUXux0XEAFmcXyhnryZNBxAAAZLUSYBiPlpVTQIVlJtJjJrJnJhlilpFiF8KLZqTbyASyAclxFwlx0Glv0Jp2F4QKp75qWX59kf5hp3VwUzlkszQRAxArUWAWAZJrULwcQQV9JzJ7J+FjVqlllqmRGcplVyptVxFL15llAbV7sXVyM-VtVx555mQJFRKc1kZzlzyfJ2p4puZtlhs9vaUFptpjprppwHpvp96gZrFmJ1fU5gp+UDN0pv1qZmpmtgFiYNNmtkptljlwk2SttzN6FlcnNs4eKR0FkScKpKmhgMCgdygRAd4WtsdwpSdunXN+JfNzpjNYt5MUt8toFzeHtuty0sQKZ9N5t3dop9twoTt+9S6VZBJ+gdYT2P1gSCZ5KA2Rl+VolxVl92V9N59y0g2ckWtkYVUCfGHBgeMEKcB10O8ACJ0A6Nh0MXE98GZhprjaHZjIJlqZcJ9zZq9aTTQG9u9+ZEYSq+td8bD-d7IJ0rxsgAmaRlAJUEQRjtV5DuZsGcfMjKNTyMDiDg5KDvMR8FWNAeDjh5KJDmt1Dzl9D16LDmtoEPDgj6QIj7yEj0TggAD39yj5ivU2jnZ0QJj6Zpts1u4bElzQIbj6gSDlEVBg6BpnGM5f9Gte8ZwKEG4md4+t0Fd8yAt9dqQXpzdkRgk+9KT1jPAPz-pk6YEeTrgW9xTh9-gFTy0sjvd6mV96ts9nDy0qjgOnTgN9mRjiSY9s1k2U2HB3ToIfTxtopgF4zp2dTuZ4WAUP5hsodlAEdnMed2oMChpgy9m8t1NrgAod9Tz3wMLzwRrk1hsvNrztd7p3zktnQwyvrwIXJgblRYb0b66Uihl1bobpFNpjbkgcbtYXTQ4fiwN6pnbsNhpzmOMcLtj0O2ssUXxy0iZMQJNUDKyujoEPZgFlx9dAmbodVgl71sN2l6gelsUOFmNwgJ5j0F5hN95z5w1upv5gFi1b74N4H0N8Nulv7ujwHyrups1lttLxKc9szDH0n011jvHgHgzqr4n09sn3tin+nonmnw4YbFy77ljw5oNqn370tXiLFTnn8nn-Zxntn6nxpsETUPQNZUXkrcXk9oHpliFnH8H2X3iMH4ML0J8aGsX1X99rVsH+ln7s1rXogNkZILsRwRXkbclwr1jiYR3wzmnoXl6+37n13hn535jt3mXj3z0IFNqV0eXlIL3wrSnp3vn8393zUGMPQZISPuzH39n2PzHtX6l03y3nXmSJEFPsqHngPs33n8SS3xP5Pg3pXqXlXmP8voPtz1mwv-zWvyXwn6XhvzUEX6vh3+vl3zP430HnV3PmsfP-X+fIv6Zj2TmFMNkG8Bv1x2xTUcmAsB6FqHvyfkuWvuf+ZTmFsGHuselurwgBr1kE11onf+f-f+MQ-j0Lv3iVf0KfcGjtzqBpvlCCYP5zn7Xb7w16jRfkvw95P91+ZAf-ocQwhNcMgu-G8D-1lDfdY2cPeNm80AE5JNQvkUFPFGf4tRwBe0P4FAIOTz84BU-SvmGxgHl9iB2-TpoNyu5zMbu83OBi20u50w9u5kA7kdykCX9qB-AA5vQP85wM8eTtZEMr0l5YpZ+8-elkCAPITAGIiAR6pBgDrxMkmErN1tKwSqCDXa1AEQX7y+bHgsYiQSQdIMYhyDc6dtajpAB5b8tXWIrMVqs0lbustQ6gygQYBDxx9Y+iAvAPDxQETApBhAGQSYK3oKC9S1rW1va0dbOtXWUrbJk4OhpCCtBbg0vk2xgE387+eASQX4JyDyDwmpDXTlU377c0WubXKppG0bLB9mehAYocjSm7tMZuRbObvwJuADMQm4yDQTrRhjR8S+LvUgeIPmSGCMhsgrIUFWWZ2CYhW-FwYvjT6d8XeYg8gT4KMEDDTBZDcwUoLsGqDohw5VoQgQ3wdDfesfY9skIP6w80hPgjIQEMdKeMA6OQ3Ll3jb7O8Chs4IoWqxKEGk3Oc7J4VUOG7edZuB3Roc0P8rOCeq2wyYSr24GoBeBt3TwOkNaSDDzBVwvBrs3yERVChn4SodzTKFvDxIzwnJNUK+F1CfhkAJobzVGHWMthjlHYenzN64C+h-gmEQHUsECshWNg8VqkzWGOCNhAI1wR3xV4eCvBibE4dCMWFBCXSIQu1g60mBOsXWQrKIWyMIqbDxhQI-vmq26GzDgS-Qs4chSGErMJWxIuIcX12Gl8Z+Ko3wTSMFHhMVhKg6UTqM0F6iKR0wpIdf0OFH9+RmQ00fbTRHXC8hnQ+4cOxRHvC0RrwkpqiIio4jahqAeoeF1+FEj2RsQ60bcIz6XdwRDAqES6MCHZD3R8Im4YiMbLIjR2foiKuiMDF5jGyIYwtmGPxGEiqGigWURyImGKjdBDoAAXMLVG0i9S9I6waK2ZH2C1B0YsYYCLJFxizePI5AXyNVEmjUxQVEUWEPFERCpRDgq0W0OEFG9NWw-CNl0Ot5kCJBTYscecLMGKCtRqTYkeUSLJAA)

### 💻 Code

### 🙁 Actual behavior

4.2.3: Compilation error
nightly: Compilation error

### 🙂 Expected behavior

4.1.5: Compiles quickly and works fine