obscure case workaround in std::set wrapper, where ignored type still need to be processed