This could probably be implemented as an expensive comment-driven lint during compilation.

I don’t think it can be a true linter because it depends on the compiler. But it’s not a bad idea anyway