Konwersja typu - niepodpisana do podpisanego int / char

Próbowałem wykonać poniższy program:

Promocja całkowita z operatorem <<

Podobne do pytaniaPromocja Bitshift i Integer?, Mam pytanie o promocję liczb całkowitych podczas korzystania z lewych przesunięć bitowych.

Dlaczego common_type <long, unsigned long> :: type = long long?

Integralna promocja

Czy unsigned char jest zawsze promowany do int?

Załóżmy, co następuje: