Question: std::type_info::hash_code() uniqueness and the meaning of "should"