mpusz/mp-units
1
0
Fork 1
mirror of https://github.com/mpusz/mp-units.git synced 2025-08-04 20:54:28 +02:00
Code Issues Packages Projects Releases Wiki Activity

test: nonzero denominator

Browse Source
This commit is contained in:
Johel Ernesto Guerrero Peña
2020-09-06 01:10:11 -04:00
committed by Mateusz Pusz
parent 36046fb6a6
commit 4112414729
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
test/unit_test/static/ratio_test.cpp
View File

@@ -88,4 +88,10 @@ static_assert(common_ratio(ratio(100, 1), ratio(1, 10)) == ratio(1, 10));
static_assert(common_ratio(ratio(1), ratio(1, 1, 3)) == ratio(1));
static_assert(common_ratio(ratio(10, 1, -1), ratio(1, 1, -3)) == ratio(1, 1, -3));
// nonzero denominator
template <auto> struct require_constant; // [range.split.view]
template <auto F> concept constant = requires { typename require_constant<F()>; };
static_assert(!constant<[] { ratio(1, 0); }>);
} // namespace