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]>

Beginne mit dem verlinkten TypeScript Playground und vergleiche das gemeldete Verhalten in den Versionen 4.9.5 und 5.0.4. Untersuche, wie die asserts-Methode den Typ von this über aufeinanderfolgende insert-Aufrufe hinweg ändert. Als erledigt gilt die Aufgabe, wenn das Beispiel y nach dem ersten Aufruf auf Set\u003c[0]\u003e und nach dem zweiten auf Set\u003c[0,0]\u003e eingrenzt.