Получить тип "HTMLInputElement" в TypeScript [дубликат]

этот вопрос уже есть ответ здесь:

• Typescript как сказать, что элемент является флажком, поэтому элемент.флажок не красный подчеркнут 2 ответы

есть <input type="checkbox" id="mainCheckbox" />,Я хочу использовать свойство checked его.И vscode waring Property 'checked' does not exist on type 'HTMLElement'.Я знаю, что это должен быть тип HTMLInputElement,но я не могу изменить его, метод getElementById() возвращает тип 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);
}