もうまんまこれが答えだった。
undefinedも文字列として"undefined"してしまうと。なんかasに近い。
なんか近いなと思ったのが、
document.querySelector('.title') as HTMLElement;
document.querySelector<HTMLElement>('.title');
の違いに似ているような。前者は問答無用でnullもHTMLElementにしてしまうけど、後者はちゃんとnullならnullを返し、見つかればHTMLElementとして返してくれる。
