This is a post about a serious bug I turned up in the Microsoft C++ compilers that target CLI (both Managed C++ and C++/CLI). One of the key concepts in software engineering is Design by Contract.  Design by Contract boils down to “say what you do and do what you say.”  Essentially, when I make a semantic definition, I would like it to ...