Trending idea! On the same subject, but aimed at compatibility with TypeScript, I just discovered Code Contracts.

https://code-contracts.cc/