Il compilatore crea ambiguità correttamente le espressioni o i tipi complessi
I seguenti funzionamento di esempio in Visual C++ .NET 2003 come specificato nello standard:
// 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
}