Regression in `asserts` behavior modifying type of `this`

Bug Report

🔎 Search Terms

asserts regression

🕗 Version & Regression Information

• This changed between versions 4.9.5 and 5.0.4

⏯ Playground Link

Playground link with relevant code

💻 Code

export class Set<S extends number[] = []> {
  insert<_>(x: any): asserts this is Set<[...S, 0]> {}
}

const y: Set = new Set();
y.insert(6);
y
//^?
y.insert(6);
y
//^?

🙁 Actual behavior

In 5.0.4

//^? const y: Set<[]>
//^? const y: Set<[]>

🙂 Expected behavior

In 4.9.5

//^? const y: Set<[0]>
//^? const y: Set<[0,0]>

Commencez par le TypeScript Playground lié et comparez le comportement signalé dans les versions 4.9.5 et 5.0.4. Étudiez comment la méthode asserts modifie le type de this au fil d’appels successifs à insert. Le travail est terminé lorsque l’exemple réduit y à Set\u003c[0]\u003e après le premier appel et à Set\u003c[0,0]\u003e après le second.