diff --git a/test/unit_test/static/quantity_test.cpp b/test/unit_test/static/quantity_test.cpp index a20f92e9..72776b78 100644 --- a/test/unit_test/static/quantity_test.cpp +++ b/test/unit_test/static/quantity_test.cpp @@ -462,10 +462,26 @@ static_assert(is_of_type<1 * m + 1 * m, quantity>); static_assert(is_of_type<1 * m + 1 * km, quantity>); static_assert(is_of_type<1 * km + 1 * m, quantity>); +static_assert(is_of_type<1 * m + isq::length(1 * m), quantity>); +static_assert(is_of_type<1 * m + isq::length(1 * km), quantity>); +static_assert(is_of_type<1 * km + isq::length(1 * m), quantity>); + +static_assert(is_of_type>); +static_assert(is_of_type>); +static_assert(is_of_type>); + static_assert(is_of_type<1 * m - 1 * m, quantity>); static_assert(is_of_type<1 * km - 1 * m, quantity>); static_assert(is_of_type<1 * m - 1 * km, quantity>); +static_assert(is_of_type<1 * m - isq::length(1 * m), quantity>); +static_assert(is_of_type<1 * m - isq::length(1 * km), quantity>); +static_assert(is_of_type<1 * km - isq::length(1 * m), quantity>); + +static_assert(is_of_type>); +static_assert(is_of_type>); +static_assert(is_of_type>); + static_assert(is_of_type<1 * N * (1 * m), quantity{}, int>>); static_assert(is_of_type<1 * m * 1, quantity>);