constant-fold expressions generated for type inference during control flow analysis
do not warn about C++ method overrides
extend C++ STL vector test to assert that it compiles without warnings