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

Inizia con il TypeScript Playground collegato e confronta il comportamento segnalato nelle versioni 4.9.5 e 5.0.4. Analizza come il metodo asserts modifica il tipo di this attraverso chiamate successive a insert. Il lavoro è completo quando l’esempio restringe y a Set\u003c[0]\u003e dopo la prima chiamata e a Set\u003c[0,0]\u003e dopo la seconda.