@ -377,10 +377,14 @@ void Checker::dispatch_container(const QueueItem & item, const CheckedStructure
{
// TODO: check DfArray
}
else if (base_container.substr(0, 4) == "map<")
else if (base_container.starts_with("map<"))
// TODO: check map
else if (base_container.starts_with("unordered_map<"))
// TODO: check unordered_map
else
UNEXPECTED;