Olá professor, nao sei em qual ano foi dada a sua aula, mas hoje em 2018.
Quando eu declaro o tipo como HTMLInputElement
;
private _inputData: HTMLInputElement;e recebo um elemento genérico nele, aparentemente ele já identifica e faz um auto casting para HTMLInputElement
this._inputData = document.querySelector('#data');Imagem 1:

Imagem 2:

Alguém poderia me dizer se n é necessário mais usar casting? estou pesquisando sobre.. mas n achei nada por enquanto..