A procedural macro to check for invalid casts - View it on GitHub