diff --git a/geometry/grassmann_test.cpp b/geometry/grassmann_test.cpp index c19271a808..66f78e2854 100644 --- a/geometry/grassmann_test.cpp +++ b/geometry/grassmann_test.cpp @@ -296,9 +296,10 @@ TEST_F(GrassmannTest, Normalize) { using F = Frame; -PRINCIPIA_CHECK_WELL_FORMED(v.WriteToMessage(&message), - with_variable> v, - with_variable message); +PRINCIPIA_CHECK_WELL_FORMED( + v.WriteToMessage(&message), + with_variable> v, + with_variable message); // TODO(phl): We should refuse to serialize these at compile time; right now // only deserialization fails. PRINCIPIA_CHECK_WELL_FORMED(v.WriteToMessage(&message), diff --git a/numerics/polynomial_in_monomial_basis_test.cpp b/numerics/polynomial_in_monomial_basis_test.cpp index 90a3ea39c0..10f2ba09d6 100644 --- a/numerics/polynomial_in_monomial_basis_test.cpp +++ b/numerics/polynomial_in_monomial_basis_test.cpp @@ -150,8 +150,9 @@ TEST_F(PolynomialInMonomialBasisTest, Evaluate2P) { 0 * Metre / Second}), 0)); } -PRINCIPIA_CHECK_WELL_FORMED(p.Primitive(), - with_variable p); +PRINCIPIA_CHECK_WELL_FORMED( + p.Primitive(), + with_variable p); PRINCIPIA_CHECK_ILL_FORMED(p.Primitive(), with_variable p); diff --git a/testing_utilities/check_well_formedness_test.cpp b/testing_utilities/check_well_formedness_test.cpp index 9d3b0bc835..18f076fdec 100644 --- a/testing_utilities/check_well_formedness_test.cpp +++ b/testing_utilities/check_well_formedness_test.cpp @@ -5,5 +5,9 @@ PRINCIPIA_CHECK_ILL_FORMED(s + 3, with_variable s); PRINCIPIA_CHECK_ILL_FORMED(s + "3", with_variable> s); -PRINCIPIA_CHECK_WELL_FORMED(s + t, with_variable s, with_variable t); -PRINCIPIA_CHECK_ILL_FORMED(s - t, with_variable s, with_variable t); +PRINCIPIA_CHECK_WELL_FORMED(s + t, + with_variable s, + with_variable t); +PRINCIPIA_CHECK_ILL_FORMED(s - t, + with_variable s, + with_variable t);