Obtenez un type "HTMLInputElement" dans TypeScript

Question

Il y a un <input type="checkbox" id="mainCheckbox" />, Je veux en utiliser la propriété checked. Et le vscode avertissant Property 'checked' does not exist on type 'HTMLElement'. Je sais que ça doit être de type HTMLInputElement, mais Je ne peux pas le changer, la méthode getElementById() retourne le type HTMLElement;

var controlCheckbox= document.getElementById("mainCheckbox"),
    addBtn = document.getElementById("btn_add"),
    container = document.getElementById("observers");
ObserverSubject.extend(new ObserverSubject.Subject(), controlCheckbox);
controlCheckbox.onclick=()=>{
    this.Notify(controlCheckbox.checked);
}

Answer 1

Essayez cette distribution simple:

var controlCheckbox = <HTMLInputElement>document.getElementById("mainCheckbox")