#include <stdx/concepts.hpp>
#include <stdx/priority.hpp>

#include <catch2/catch_test_macros.hpp>

namespace {
auto select_priority(auto, stdx::priority_t<0>) -> int { return 0; }
auto select_priority(stdx::integral auto, stdx::priority_t<1>) -> int {
    return 1;
}
auto select_priority(stdx::floating_point auto, stdx::priority_t<2>) -> int {
    return 2;
}
} // namespace

TEST_CASE("priority", "[priority]") {
    CHECK(select_priority(1.0f, stdx::priority<2>) == 2);
    CHECK(select_priority(1, stdx::priority<2>) == 1);
    CHECK(select_priority(stdx::priority<2>, stdx::priority<2>) == 0);
}