Kompilátor správně Disambiguates typů nebo složité výrazy.
Následující příklad pracuje v jazyce C++.NET 2003 podle normy:
// compiler_correctly_disambiguates_complex_expressions_or_types.cpp
// Many different variations, this is a simple one
#include <typeinfo>
typedef void functype();
int main()
{
return !(typeid(functype) == typeid(void()));
//now these match correctly
}