Comment by no_wizard

It first started as an assert statement[0] for those who may have seen that, these type statements are an evolution out of that proposal.

I do wonder if this makes the importable gets (via type: json) a reality like assert was going to.

[0]: https://v8.dev/features/import-assertions