microsoft / microsoft/TypeScript

abstract type guard does not narrow when keyed with a unique symbol

Ouverte
#62,247 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
Bug Domain: check: Control Flow Help Wanted
Langage dominant
Go
Étoiles
111k
Forks
14.3k
Merge moyen
2 j 4 h
PR mergées (30 j)
132

Description

### 🔎 Search Terms

abstract type guard symbol

### 🕗 Version & Regression Information

- This is the behavior in every version I tried, and I reviewed the FAQ for entries about abstract type guard

### ⏯ Playground Link

https://www.typescriptlang.org/play/?ts=6.0.0-dev.20250810&ssl=28&ssc=2&pln=1&pc=1#code/FAYw9gdgzgLgBASygIQIYCc4F44GUCeAtgEZgA2AFAERJrpUCUA3MMKsbOqiPCGalChwAYmDBwA3sDgy47Tt3i0MFBgC44MABZJEQui1lyOMLjzgBtZegC6qjdt26DrI4QCm2sABN7cAG5gCN6S0kayCABmcBSOUFYoGHYMDKHh6XAA9JlwACo6QlBaYACuZCEQYPDE7nIQcO7o6GDoYRmycQB0xBgAsp7Fvsxt4QC+DWRQtVExXdaqqVLtRl096P1eQ4YZoyO7u6D8gnB0DQAeMO4Q3kKi4kuyYP6N6MHTieh+cXonGGkZ6E8JXQ9VMJXc2xkByMTxeb0s1mSDgKP1OD3SgJgwNB6HBkLg0Nkaw2gz8gWCkn2QA

### 💻 Code

```ts
const isBar = Symbol("isBar");

abstract class Foo {
abstract isBar(): this is Bar;
abstract [isBar](): this is Bar;

method(): void {
if (this[isBar]()) {
// This should not be an error, it should work the same as .isBar()
this.barMethod();
} else if (this.isBar()) {
this.barMethod();
}
}
}

class Bar extends Foo {
override isBar(): this is Bar {
return true;
}

override [isBar](): this is Bar {
return true;
}

barMethod(): void {}
}
```

### 🙁 Actual behavior

TS reports an error:

> `Property 'barMethod' does not exist on type 'Foo'. Did you mean 'method'?(2551)`

### 🙂 Expected behavior

No error should happen here, the type guard should work the same as the non-symbol version of the method.

### Additional information about the issue

_No response_

Guide de contribution

Ouvrir le guide de contribution

Piste de recherche

Commencez par le TypeScript Playground lié et reproduisez la différence entre l’appel unique-symbol et l’appel nommé isBar() dans Foo.method(). Suivez le comportement du rétrécissement de type pour les deux gardes de type abstraits, puis vérifiez que l’appel utilisant une clé symbolique réduit this à Bar et ne signale plus l’erreur barMethod.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
typescript
Domaine
compilers
Type d'issue
Bug
Difficulté
4/5
Temps estimé
3-5 jours
Activité
À l'abandon
Clarté
Plutôt claire
Accessibilité débutants
42/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.