マイクロソフト、JavaScriptに型宣言を追加しつつトランスパイラ不要の「Types as Comments」をJavaScript仕様策定会議のTC39に提案へ － Publickey

https://www.publickey1.jp/blog/22/javascripttypes_as_commentsjavascripttc39.html

提案はこれのよう。
https://github.com/giltayar/proposal-types-as-comments

つまるところ TypeScript のように型定義をしてエディタやIDEでチェックの恩恵を受けつつ、実行時には無視するという感じか。
esbuild とかにある TypeScript から JavaScript にトランスパイルする時に型定義を落とす的な部分を実行環境側に持たせるようなイメージかな。
あるいは Deno で deno run --no-check を付けて動かすようなイメージ。