title: Typescript - using "infer" keyword on generic type with multiple multiple generic parameters not working as expected
body: <p>Let's say I have following type:</p>
  <pre><code>type Foo&lt;A, B&gt; = A &amp; B;
  </code></pre>
  <p>When I do this:</p>
  <pre><code>type Bar&lt;T&gt; = T extends Foo&lt;infer _, infer K&gt; ? K : never;
  </code></pre>
  <p>I expect that this would work:</p>
  <pre><code>const someVariable: Bar&lt;Foo&lt;string, number&gt;&gt; = 200;
  </code></pre>
  <p>But I am getting the following error: &quot;Type 'number' is not assignable to type 'never'.&quot;</p>