https://m.runoob.com/manual/gitbook/TypeScript/_book/doc/handbook/JSX.html

JSX中，类型断言必须使用as操作符。

类型检查
固有元素：环境自带的某些东西（比如，在DOM环境里的div或span）。
基于值的元素：你自定义的组件。
TypeScript使用与React相同的规范 来区别它们。 固有元素总是以一个小写字母开头，基于值的元素总是以一个大写字母开头。

固有元素
固有元素使用特殊的接口JSX.IntrinsicElements来查找。 默认地，如果这个接口没有指定，会全部通过，不对固有元素进行类型检查。 然而，如果接口存在，那么固有元素的名字需要在JSX.IntrinsicElements接口的属性里查找。

基于值的元素
元素的实例类型很有趣，因为它必须赋值给JSX.ElementClass或抛出一个错误。 默认的JSX.ElementClass为{}，但是它可以被扩展用来限制JSX的类型以符合相应的接口。

JSX结果类型
默认地JSX表达式结果的类型为any。 你可以自定义这个类型，通过指定JSX.Element接口。