microsoft / microsoft/TypeScript
TS7: `@extends` is ignored when the heritage is a call expression (Base.extend())
Nessuno ha ancora preso questa issue.
- 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
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- 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