#pragma once

//
// This file is distributed under the MIT License. See LICENSE.md for details.
//

#include "revng/ADT/KeyedObjectContainer.h"
#include "revng/TupleTree/TupleLikeTraits.h"

// clang-format off
template<typename T>
concept TupleTreeCompatible = (IsKeyedObjectContainer<T>
                               or HasTupleSize<T>
                               or UpcastablePointerLike<T>);
// clang-format on

template<typename T>
concept NotTupleTreeCompatible = not TupleTreeCompatible<T>;