This isn't something I look for in code reviews because it's just not something I've ever see be the source of a bug. There are a million bugs that I've eventua

This isn't something I look for in code reviews because it's just not something I've ever see be the source of a bug. There are a million bugs that I've eventually tracked down to some subtle C++ thing, but I've never had one come down to a type which appears to conform to one of the standard library's concepts but actually doesn't.