diff --git a/test/unit_test/static/reference_test.cpp b/test/unit_test/static/reference_test.cpp index fad918d9..0f857fed 100644 --- a/test/unit_test/static/reference_test.cpp +++ b/test/unit_test/static/reference_test.cpp @@ -160,6 +160,21 @@ concept invalid_operations = requires { }; static_assert(invalid_operations); +static_assert(is_of_type<2 / second, quantity>{}, int>>); +static_assert(is_of_type<2 / time[second], quantity>{}, + derived_unit>{}>{}, + int>>); +static_assert(is_of_type<1 * time[second] * second, quantity(time), pow<2>(second)>{}, int>>); +static_assert(is_of_type<1 * time[second] * time[second], quantity(time), pow<2>(second)>{}, int>>); +static_assert(is_of_type<1 * time[second] / second, quantity{}, int>>); +static_assert(is_of_type<1 * time[second] / time[second], quantity{}, int>>); + +static_assert( + is_of_type< + 1 * inverse(time[second]), + quantity>{}, derived_unit>{}>{}, + int>>); + static_assert( is_of_type< 2 * length[metre] / (1 * time[second]),