Generics in union should be inferred as `never` when possible

还没有人认领这个 Issue。

### 🔎 Search Terms

generics, inference, union, never

### 🕗 Version & Regression Information

This is the behavior in every version I tried, and I reviewed the FAQ for entries about union and never.

### ⏯ Playground Link

https://www.typescriptlang.org/play/?#code/MYewdgzgLgBAZjAvDAPAFQDQD4AUAPALhjRgB8ZoAnASzAHMMYBPIk8sAVwFsAjAU0oBKJFmYAoODgDkAQymMAjMIgyo1CHGp8IMTrwEwA9IeIx1MAEQyLukAHcxY0JFh0kqEnzxQ+YACY6HP58mmB8friEpuzc-EIiMHhidDhKFKrqmtq6sQbGpuZBfiG04bZ2QA

### 💻 Code

```ts
const f = (x: T | string, y: T | number) => y
f('a', 1) satisfies number // T is "a" now

const g = (x: T | number) => x
g(1) satisfies number // T is undefined now
```

### 🙁 Actual behavior

`T` is not `never`.

### 🙂 Expected behavior

`T` should be inferred as `never`, because it can be anything.

### Additional information about the issue

This may be related to #42491.

从链接的 TypeScript Playground 复现开始，并将其泛型推断行为与相关 issue #42491 进行比较。当两个示例中的 T 都被推断为 never，且 satisfies 检查产生预期结果时，工作即完成。

由索引模型根据 Issue 内容生成。