arkts真的实现了静态类型吗？文档上和实际测试的不符

【问题描述】

在OpenHarmony的文档里：https://gitee.com/openharmony/docs/blob/master/zh-cn/application-dev/quick-start/typescript-to-arkts-migration-guide.md

里面有一句：在ArkTS中，as关键字是类型转换的唯一语法，错误的类型转换会导致编译时错误或者运行时抛出 ClassCastException异常。ArkTS不支持使用 <type>语法进行类型转换。

然而实际用代码测试：let a: Record<String, Object> = JSON.parse('{"name": "abc"}');

a.name as Foo根本不会报错，是项目需要做特殊配置，还是arkts根本还没实现运行时类型安全？

【运行环境】

硬件： ROM版本： DevEvoStudio版本：5.0.3版本（API 15） SDK版本：

ets检查严格些，ts检查相对没那么严格。

回复 onefan: 就是ets啊。。。。。