#include <iostream>
#include <utility>
#include <type_traits>
using namespace std;
int main() {
auto cmp = [](auto pr){ static_assert(is_same<decltype(pr.second), bool>::value, "ouch"); };
cmp(make_pair(1, true));
cmp(make_pair(0, false));
//cmp(make_pair(true, 1));
//cmp(0)
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dXRpbGl0eT4KI2luY2x1ZGUgPHR5cGVfdHJhaXRzPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBtYWluKCkgewoJYXV0byBjbXAgPSBbXShhdXRvIHByKXsgc3RhdGljX2Fzc2VydChpc19zYW1lPGRlY2x0eXBlKHByLnNlY29uZCksIGJvb2w+Ojp2YWx1ZSwgIm91Y2giKTsgfTsKCQoJY21wKG1ha2VfcGFpcigxLCB0cnVlKSk7CgljbXAobWFrZV9wYWlyKDAsIGZhbHNlKSk7CgkvL2NtcChtYWtlX3BhaXIodHJ1ZSwgMSkpOwoJLy9jbXAoMCkKfQ==