Covariant types in C++ virtual methods
Return types of methods-overrides may be different
C++
Mysterious signed operand in a C++ expression
Integral promotion in action
Unspecified behaviour in std::unordered_set and MacOS SDK
Unspecified behaviour may vary between different STL implementations