diff --git a/test/static/concepts_test.cpp b/test/static/concepts_test.cpp index 1881ec3c..fbd20241 100644 --- a/test/static/concepts_test.cpp +++ b/test/static/concepts_test.cpp @@ -24,6 +24,7 @@ #include #include #if MP_UNITS_HOSTED +#include #include #endif #ifdef MP_UNITS_IMPORT_STD @@ -269,17 +270,31 @@ static_assert(!Representation>); static_assert(Representation>); static_assert(Representation>); static_assert(Representation>); +static_assert(Representation>); static_assert(!Representation); static_assert(!Representation); #endif // RepresentationOf static_assert(RepresentationOf); +static_assert(!RepresentationOf); +static_assert(!RepresentationOf); +static_assert(!RepresentationOf); static_assert(RepresentationOf); +static_assert(!RepresentationOf); +static_assert(!RepresentationOf); +static_assert(!RepresentationOf); static_assert(!RepresentationOf); static_assert(!RepresentationOf, quantity_character::scalar>); #if MP_UNITS_HOSTED static_assert(RepresentationOf, quantity_character::complex>); +static_assert(!RepresentationOf, quantity_character::scalar>); +static_assert(!RepresentationOf, quantity_character::vector>); +static_assert(!RepresentationOf, quantity_character::tensor>); +static_assert(RepresentationOf, quantity_character::vector>); +static_assert(!RepresentationOf, quantity_character::scalar>); +static_assert(!RepresentationOf, quantity_character::complex>); +static_assert(!RepresentationOf, quantity_character::tensor>); static_assert(!RepresentationOf); static_assert(!RepresentationOf); #endif