microsoft / microsoft/TypeScript

TS7: `@extends` is ignored when the heritage is a call expression (Base.extend())

Aperta
#64,058 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Bug
Lingua principale
Go
Stelle
111k
Fork
14.3k
Merge medio
2g 4h
PR unite (30g)
132

Descrizione

### 🔎 Search Terms

`extends js TS7 jsdoc`

nothing seemed directly related

### 🕗 Version & Regression Information

```
"typescript-7": "npm:typescript@7.1.0-dev.20260826.1"
```

### ⏯ Playground Link

https://github.com/NullVoxPopuli-ai-agent/typescript-go-jsdoc-extends-call-heritage

### 💻 Code

https://github.com/NullVoxPopuli-ai-agent/typescript-go-jsdoc-extends-call-heritage

```js
// @ts-check

/**
* @template T
*/
class Base {
/** @returns {T} */
get value() {
throw new Error();
}
/** @returns {typeof Base} */
static extend() {
return this;
}
}

/** @extends {Base} */
class ViaCall extends Base.extend() {}

/** @extends {Base} */
class ViaIdentifier extends Base {}

/** @type {string} */
const a = new ViaIdentifier().value; // ok in both

/** @type {string} */
const b = new ViaCall().value; // error in TS 7 only
```

### 🙁 Actual behavior

```
Version 7.1.0-dev.20260826.1
repro.js:18:23 - error TS8026: Expected Base type arguments; provide these with an '@extends' tag.

18 class ViaCall extends Base.extend() {}
~~~~~~~~~~~~~

Found 1 error in repro.js:18
```

### 🙂 Expected behavior

no error in TS7

### Additional information about the issue

_No response_

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Direzione di ricerca

Inizia con la riproduzione collegata e il relativo esempio repro.js, quindi eseguila con la build indicata di TypeScript 7.1.0-dev per confermare la diagnostica TS8026 su ViaCall. Confronta il caso di ereditarietà Base.extend() con il caso funzionante dell’identificatore Base e individua la gestione di JSDoc @extends coinvolta. Il lavoro è completato quando il caso dell’espressione di chiamata non produce alcun errore, mentre il comportamento esistente rimane intatto.

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

Valutazione

Stack tecnologico
javascript, typescript
Ambito
compilers
Tipo di issue
Bug
Difficoltà
3/5
Tempo stimato
1-2 giorni
Stato di attività
Attiva
Chiarezza
Abbastanza chiara
Idoneità per principianti
68/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.