microsoft / microsoft/TypeScript

Common fields of union not resolved for generic conditional with `any` branch

Aperta
#62,466 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
Bug Domain: Conditional Types Help Wanted
Lingua principale
Go
Stelle
111k
Fork
14.3k
Merge medio
2g 4h
PR unite (30g)
132

Descrizione

### 🔎 Search Terms

"conditional generics with any branch in union", "union with generic conditional branch"

### 🕗 Version & Regression Information

This is the behavior in every version I tried, and I reviewed the FAQ for entries about conditional generics used in unions but didn't find anything that seemed relevant.

### ⏯ Playground Link

https://www.typescriptlang.org/play/?ts=5.9.2#code/C4TwDgpgBAkgdgYQPYFsVLlAvFA3gY1XTgC4oBnYAJwEs4BzAXwG4AoV0SKZOAExuA0MAQwA2AHgDSUCAA9gEPuQrU69KAB8ocAK4oARhCoA+bFGlyFS7XsNUoAfjwYIZXQaOMoZAEoRCVLzilLQMADRQOnAA1nBIAO5wxmyc0ACqcEJwAOoCABZ+9DqiwlQ8-IIiEhbyirzKIWqaNh4mZvDIaBjNABTlAlliUqYAZLCIRBgAlGwAZlH4lZhywihgohAZWbnABRBFJVRSMrXWjQzN7nbGPdEQIGSSU3isUG9QhHCUkZkYO3sHUr9JZiMy4LzCZRbP75QrFIEYCqDarJV7vAD06KguxoyniSCo0WUkJOkEWEF4aLeUW2sP28LKiIGVQAdIQunA2Ix2KluEyQaJ-gBBOAgY6WOoNVQXLRXIymHA1Kz1Fp2RxQYSi7xQPwBILnegRKKxBJJFLgdK-HL5EUgYHI8WnFUGy62eXtCYc3r2qrC0XDKBjDqTOAzVjzOCLLInVbrTZWv1ipWSlShdSyt0mW73R7PXBUj4Yb40mG7W0+uCgnDgjVQhM20UVoaSVHvKCY7F5XFQPIk4TYi0yKhUAlQWajgAG7OIE+0SGAJ1xggu3QnTcFDaTo3GnRnBZL1rLjf5yLZIbYbYLHf0OgXu0Une7ACpeEgIOQn1B8YSC59vmARzARN1zBCFlD6E9fU3AMg09YgwzbACkCAzd1zPDkuVYIA

### 💻 Code

```ts
type InCommon = {common: string};

type Conditional = K extends number ? {one: number} : Record;
type UnionWithRegularConditional = InCommon | (Conditional & InCommon);
function exampleUnionWithRegular(key: K) {
const unionWithRegularConditional = {} as UnionWithRegularConditional;
// this works as expected
unionWithRegularConditional.common;
}

type ConditionalWithAny = K extends number ? any : Record;
type UnionWithAnyConditional = InCommon | (ConditionalWithAny & InCommon);
function exampleUnionWithAny(key: K) {
const unionWithAnyConditional = {} as UnionWithAnyConditional;
// this has a type error for `common` not existing on `ConditionalWithAny & InCommon`
unionWithAnyConditional.common;

// but then this *does* work
const propWithAnyConditional = {} as (ConditionalWithAny & InCommon);
propWithAnyConditional.common;
}
```

### 🙁 Actual behavior

When a union type contains a conditional generic whose branch is `any`, the common fields of the union are not being correctly recognized.

This is illustrated above when TS is unable to recognize that `common` is a field on `unionWithAnyConditional`.

### 🙂 Expected behavior

The expected behavior here is that common fields of the union should be correctly resolved.

From the above example, the expectation is that `unionWithAnyConditional.common` would not have a "does not exist on type" error.

### Additional information about the issue

_No response_

Guida per i contributori

Apri la guida per i contributori

Direzione di ricerca

Inizia con il repro collegato di TypeScript Playground e conferma la differenza tra il condizionale normale e il condizionale con un ramo `any`. Traccia la gestione da parte del compilatore delle proprietà comuni nell'unione risultante, quindi aggiungi la coverage per `unionWithAnyConditional.common`. Il lavoro è completo quando l'accesso previsto non segnala più che `common` è mancante.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
typescript
Ambito
compilers
Tipo di issue
Bug
Difficoltà
4/5
Tempo stimato
3-5 giorni
Stato di attività
Ferma
Chiarezza
Abbastanza chiara
Idoneità per principianti
45/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.