Compilation on MacOS Sequoia 15.6.1 with apple clang 17.0.0

[jkhoogland]

Building on MacOS Sequoia 15.6.1 with apple clang 17.0.0 fails at the moment.

In file included from /Users/jiri/dev/gh/AAD/xad/src/XAD/Vec.hpp:27:
In file included from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/array:152:
In file included from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/compare:174:
In file included from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/cmath:316:
In file included from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__math/hypot.h:14:
In file included from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__math/exponential_functions.h:17:
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:50:26: error: no matching function for call to '__test'
   50 |   using type = decltype((__test(_Args()) + ...));
      |                          ^~~~~~
....
// more failures
...

To Reproduce

cmake -G "Unix Makefiles" -H. -B_bld
cmake --build _bld

Environment:

• OS: MacOS Sequoia
• Version: 15.6.1
• Compiler: Apple clang version 17.0.0 (clang-1700.0.13.5)
  • Target: arm64-apple-darwin24.6.0
  • Thread model: posix
  • InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin
• CMake Configuration: 4.0.3

[boring-cyborg]

Thanks for opening your first issue here. We'll look into it and get back in due time.

[auto-differentiation-dev]

Thanks for flagging this issue.

I'm afraid we don't have a box handy with this configuration and it looks like there is no github runner with native Apple Clang 17 either.

Would you mind sharing the full build logs for this build? It might shed some light on where the issue is and how to fix it. Thanks.

[jkhoogland]

Attached:

build_macos15.6.1_clang17.log

[  1%] Building CXX object _deps/googletest-build/googletest/CMakeFiles/gtest.dir/src/gtest-all.cc.o
[  3%] Linking CXX static library ../../../lib/libgtest.a
[  3%] Built target gtest
[  4%] Building CXX object _deps/googletest-build/googlemock/CMakeFiles/gmock.dir/src/gmock-all.cc.o
[  6%] Linking CXX static library ../../../lib/libgmock.a
[  6%] Built target gmock
[  7%] Building CXX object _deps/googletest-build/googlemock/CMakeFiles/gmock_main.dir/src/gmock_main.cc.o
[  9%] Linking CXX static library ../../../lib/libgmock_main.a
[  9%] Built target gmock_main
[ 11%] Building CXX object _deps/googletest-build/googletest/CMakeFiles/gtest_main.dir/src/gtest_main.cc.o
[ 12%] Linking CXX static library ../../../lib/libgtest_main.a
[ 12%] Built target gtest_main
[ 14%] Building CXX object src/CMakeFiles/xad.dir/Tape.cpp.o
[ 15%] Linking CXX static library ../lib/libxad.a
[ 15%] Built target xad
[ 17%] Building CXX object test/CMakeFiles/xad_test.dir/Vec_test.cpp.o
[ 19%] Building CXX object test/CMakeFiles/xad_test.dir/TapeContainer_test.cpp.o
[ 20%] Building CXX object test/CMakeFiles/xad_test.dir/ChunkContainer_test.cpp.o
[ 22%] Building CXX object test/CMakeFiles/xad_test.dir/Tape_test.cpp.o
[ 23%] Building CXX object test/CMakeFiles/xad_test.dir/Expressions_test.cpp.o
[  3%] Built target gtest
[  6%] Built target gmock
[  9%] Built target gmock_main
[ 12%] Built target gtest_main
[ 15%] Built target xad
[ 17%] Building CXX object test/CMakeFiles/xad_test.dir/Expressions_test.cpp.o
In file included from /Users/jiri/dev/gh/AAD/xad/test/Expressions_test.cpp:25:
In file included from /Users/jiri/dev/gh/AAD/xad/src/XAD/XAD.hpp:27:
In file included from /Users/jiri/dev/gh/AAD/xad/src/XAD/ARealDirect.hpp:28:
In file included from /Users/jiri/dev/gh/AAD/xad/src/XAD/RealDirect.hpp:28:
In file included from /Users/jiri/dev/gh/AAD/xad/src/XAD/MathFunctions.hpp:28:
In file included from /Users/jiri/dev/gh/AAD/xad/src/XAD/Traits.hpp:27:
In file included from /Users/jiri/dev/gh/AAD/xad/src/XAD/Vec.hpp:27:
In file included from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/array:152:
In file included from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/compare:174:
In file included from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/cmath:316:
In file included from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__math/hypot.h:14:
In file included from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__math/exponential_functions.h:17:
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:50:26: error: no matching function for call to '__test'
   50 |   using type = decltype((__test(_Args()) + ...));
      |                          ^~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__math/fma.h:43:39: note: in instantiation of template class 'std::__promote<xad::FReal<double, 1>, xad::FReal<double, 1>, xad::FReal<double, 1>>' requested here
   43 | inline _LIBCPP_HIDE_FROM_ABI typename __promote<_A1, _A2, _A3>::type fma(_A1 __x, _A2 __y, _A3 __z) _NOEXCEPT {
      |                                       ^
/Users/jiri/dev/gh/AAD/xad/test/Expressions_test.cpp:1740:9: note: while substituting deduced template arguments into function template 'fma' [with _A1 = xad::FReal<double>, _A2 = xad::FReal<double>, _A3 = xad::FReal<double>, $3 = (no value)]
 1740 |     f = fma(a, r, b);
      |         ^
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:47:22: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'long double' for 1st argument
   47 |   static long double __test(long double);
      |                      ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:46:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'double' for 1st argument
   46 |   static double __test(double);
      |                 ^      ~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:44:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to '__uint128_t' (aka 'unsigned __int128') for 1st argument
   44 |   static double __test(__uint128_t);
      |                 ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:43:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to '__int128_t' (aka '__int128') for 1st argument
   43 |   static double __test(__int128_t);
      |                 ^      ~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:41:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'unsigned long long' for 1st argument
   41 |   static double __test(unsigned long long);
      |                 ^      ~~~~~~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:40:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'long long' for 1st argument
   40 |   static double __test(long long);
      |                 ^      ~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:39:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'unsigned long' for 1st argument
   39 |   static double __test(unsigned long);
      |                 ^      ~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:38:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'long' for 1st argument
   38 |   static double __test(long);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:37:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'unsigned int' for 1st argument
   37 |   static double __test(unsigned);
      |                 ^      ~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:36:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'int' for 1st argument
   36 |   static double __test(int);
      |                 ^      ~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:35:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'char' for 1st argument
   35 |   static double __test(char);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:34:16: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'float' for 1st argument
   34 |   static float __test(float);
      |                ^      ~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:50:26: error: no matching function for call to '__test'
   50 |   using type = decltype((__test(_Args()) + ...));
      |                          ^~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:47:22: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'long double' for 1st argument
   47 |   static long double __test(long double);
      |                      ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:46:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'double' for 1st argument
   46 |   static double __test(double);
      |                 ^      ~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:44:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to '__uint128_t' (aka 'unsigned __int128') for 1st argument
   44 |   static double __test(__uint128_t);
      |                 ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:43:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to '__int128_t' (aka '__int128') for 1st argument
   43 |   static double __test(__int128_t);
      |                 ^      ~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:41:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'unsigned long long' for 1st argument
   41 |   static double __test(unsigned long long);
      |                 ^      ~~~~~~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:40:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'long long' for 1st argument
   40 |   static double __test(long long);
      |                 ^      ~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:39:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'unsigned long' for 1st argument
   39 |   static double __test(unsigned long);
      |                 ^      ~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:38:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'long' for 1st argument
   38 |   static double __test(long);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:37:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'unsigned int' for 1st argument
   37 |   static double __test(unsigned);
      |                 ^      ~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:36:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'int' for 1st argument
   36 |   static double __test(int);
      |                 ^      ~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:35:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'char' for 1st argument
   35 |   static double __test(char);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:34:16: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'float' for 1st argument
   34 |   static float __test(float);
      |                ^      ~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:50:26: error: no matching function for call to '__test'
   50 |   using type = decltype((__test(_Args()) + ...));
      |                          ^~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:47:22: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'long double' for 1st argument
   47 |   static long double __test(long double);
      |                      ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:46:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'double' for 1st argument
   46 |   static double __test(double);
      |                 ^      ~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:44:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to '__uint128_t' (aka 'unsigned __int128') for 1st argument
   44 |   static double __test(__uint128_t);
      |                 ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:43:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to '__int128_t' (aka '__int128') for 1st argument
   43 |   static double __test(__int128_t);
      |                 ^      ~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:41:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'unsigned long long' for 1st argument
   41 |   static double __test(unsigned long long);
      |                 ^      ~~~~~~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:40:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'long long' for 1st argument
   40 |   static double __test(long long);
      |                 ^      ~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:39:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'unsigned long' for 1st argument
   39 |   static double __test(unsigned long);
      |                 ^      ~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:38:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'long' for 1st argument
   38 |   static double __test(long);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:37:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'unsigned int' for 1st argument
   37 |   static double __test(unsigned);
      |                 ^      ~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:36:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'int' for 1st argument
   36 |   static double __test(int);
      |                 ^      ~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:35:17: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'char' for 1st argument
   35 |   static double __test(char);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:34:16: note: candidate function not viable: no known conversion from 'xad::FReal<double, 1>' to 'float' for 1st argument
   34 |   static float __test(float);
      |                ^      ~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:50:26: error: no matching function for call to '__test'
   50 |   using type = decltype((__test(_Args()) + ...));
      |                          ^~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__math/fma.h:43:39: note: in instantiation of template class 'std::__promote<xad::AReal<double, 1>, xad::AReal<double, 1>, xad::AReal<double, 1>>' requested here
   43 | inline _LIBCPP_HIDE_FROM_ABI typename __promote<_A1, _A2, _A3>::type fma(_A1 __x, _A2 __y, _A3 __z) _NOEXCEPT {
      |                                       ^
/Users/jiri/dev/gh/AAD/xad/test/Expressions_test.cpp:1778:28: note: while substituting deduced template arguments into function template 'fma' [with _A1 = xad::AReal<double>, _A2 = xad::AReal<double>, _A3 = xad::AReal<double>, $3 = (no value)]
 1778 |     xad::AReal<double> y = fma(a, b, c);
      |                            ^
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:47:22: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'long double' for 1st argument
   47 |   static long double __test(long double);
      |                      ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:46:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'double' for 1st argument
   46 |   static double __test(double);
      |                 ^      ~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:44:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to '__uint128_t' (aka 'unsigned __int128') for 1st argument
   44 |   static double __test(__uint128_t);
      |                 ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:43:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to '__int128_t' (aka '__int128') for 1st argument
   43 |   static double __test(__int128_t);
      |                 ^      ~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:41:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'unsigned long long' for 1st argument
   41 |   static double __test(unsigned long long);
      |                 ^      ~~~~~~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:40:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'long long' for 1st argument
   40 |   static double __test(long long);
      |                 ^      ~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:39:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'unsigned long' for 1st argument
   39 |   static double __test(unsigned long);
      |                 ^      ~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:38:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'long' for 1st argument
   38 |   static double __test(long);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:37:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'unsigned int' for 1st argument
   37 |   static double __test(unsigned);
      |                 ^      ~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:36:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'int' for 1st argument
   36 |   static double __test(int);
      |                 ^      ~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:35:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'char' for 1st argument
   35 |   static double __test(char);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:34:16: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'float' for 1st argument
   34 |   static float __test(float);
      |                ^      ~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:50:26: error: no matching function for call to '__test'
   50 |   using type = decltype((__test(_Args()) + ...));
      |                          ^~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:47:22: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'long double' for 1st argument
   47 |   static long double __test(long double);
      |                      ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:46:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'double' for 1st argument
   46 |   static double __test(double);
      |                 ^      ~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:44:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to '__uint128_t' (aka 'unsigned __int128') for 1st argument
   44 |   static double __test(__uint128_t);
      |                 ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:43:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to '__int128_t' (aka '__int128') for 1st argument
   43 |   static double __test(__int128_t);
      |                 ^      ~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:41:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'unsigned long long' for 1st argument
   41 |   static double __test(unsigned long long);
      |                 ^      ~~~~~~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:40:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'long long' for 1st argument
   40 |   static double __test(long long);
      |                 ^      ~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:39:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'unsigned long' for 1st argument
   39 |   static double __test(unsigned long);
      |                 ^      ~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:38:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'long' for 1st argument
   38 |   static double __test(long);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:37:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'unsigned int' for 1st argument
   37 |   static double __test(unsigned);
      |                 ^      ~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:36:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'int' for 1st argument
   36 |   static double __test(int);
      |                 ^      ~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:35:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'char' for 1st argument
   35 |   static double __test(char);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:34:16: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'float' for 1st argument
   34 |   static float __test(float);
      |                ^      ~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:50:26: error: no matching function for call to '__test'
   50 |   using type = decltype((__test(_Args()) + ...));
      |                          ^~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:47:22: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'long double' for 1st argument
   47 |   static long double __test(long double);
      |                      ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:46:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'double' for 1st argument
   46 |   static double __test(double);
      |                 ^      ~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:44:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to '__uint128_t' (aka 'unsigned __int128') for 1st argument
   44 |   static double __test(__uint128_t);
      |                 ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:43:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to '__int128_t' (aka '__int128') for 1st argument
   43 |   static double __test(__int128_t);
      |                 ^      ~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:41:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'unsigned long long' for 1st argument
   41 |   static double __test(unsigned long long);
      |                 ^      ~~~~~~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:40:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'long long' for 1st argument
   40 |   static double __test(long long);
      |                 ^      ~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:39:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'unsigned long' for 1st argument
   39 |   static double __test(unsigned long);
      |                 ^      ~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:38:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'long' for 1st argument
   38 |   static double __test(long);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:37:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'unsigned int' for 1st argument
   37 |   static double __test(unsigned);
      |                 ^      ~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:36:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'int' for 1st argument
   36 |   static double __test(int);
      |                 ^      ~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:35:17: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'char' for 1st argument
   35 |   static double __test(char);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:34:16: note: candidate function not viable: no known conversion from 'xad::AReal<double, 1>' to 'float' for 1st argument
   34 |   static float __test(float);
      |                ^      ~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:50:26: error: no matching function for call to '__test'
   50 |   using type = decltype((__test(_Args()) + ...));
      |                          ^~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__math/fma.h:43:39: note: in instantiation of template class 'std::__promote<xad::FReal<xad::AReal<double, 1>>, xad::FReal<xad::AReal<double, 1>>, xad::FReal<xad::AReal<double, 1>>>' requested here
   43 | inline _LIBCPP_HIDE_FROM_ABI typename __promote<_A1, _A2, _A3>::type fma(_A1 __x, _A2 __y, _A3 __z) _NOEXCEPT {
      |                                       ^
/Users/jiri/dev/gh/AAD/xad/test/Expressions_test.cpp:1848:40: note: while substituting deduced template arguments into function template 'fma' [with _A1 = xad::FReal<xad::AReal<double>>, _A2 = xad::FReal<xad::AReal<double>>, _A3 = xad::FReal<xad::AReal<double>>, $3 = (no value)]
 1848 |     xad::FReal<xad::AReal<double>> y = fma(a, b, c);
      |                                        ^
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:47:22: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'long double' for 1st argument
   47 |   static long double __test(long double);
      |                      ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:46:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'double' for 1st argument
   46 |   static double __test(double);
      |                 ^      ~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:44:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to '__uint128_t' (aka 'unsigned __int128') for 1st argument
   44 |   static double __test(__uint128_t);
      |                 ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:43:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to '__int128_t' (aka '__int128') for 1st argument
   43 |   static double __test(__int128_t);
      |                 ^      ~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:41:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'unsigned long long' for 1st argument
   41 |   static double __test(unsigned long long);
      |                 ^      ~~~~~~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:40:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'long long' for 1st argument
   40 |   static double __test(long long);
      |                 ^      ~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:39:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'unsigned long' for 1st argument
   39 |   static double __test(unsigned long);
      |                 ^      ~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:38:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'long' for 1st argument
   38 |   static double __test(long);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:37:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'unsigned int' for 1st argument
   37 |   static double __test(unsigned);
      |                 ^      ~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:36:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'int' for 1st argument
   36 |   static double __test(int);
      |                 ^      ~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:35:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'char' for 1st argument
   35 |   static double __test(char);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:34:16: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'float' for 1st argument
   34 |   static float __test(float);
      |                ^      ~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:50:26: error: no matching function for call to '__test'
   50 |   using type = decltype((__test(_Args()) + ...));
      |                          ^~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:47:22: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'long double' for 1st argument
   47 |   static long double __test(long double);
      |                      ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:46:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'double' for 1st argument
   46 |   static double __test(double);
      |                 ^      ~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:44:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to '__uint128_t' (aka 'unsigned __int128') for 1st argument
   44 |   static double __test(__uint128_t);
      |                 ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:43:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to '__int128_t' (aka '__int128') for 1st argument
   43 |   static double __test(__int128_t);
      |                 ^      ~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:41:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'unsigned long long' for 1st argument
   41 |   static double __test(unsigned long long);
      |                 ^      ~~~~~~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:40:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'long long' for 1st argument
   40 |   static double __test(long long);
      |                 ^      ~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:39:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'unsigned long' for 1st argument
   39 |   static double __test(unsigned long);
      |                 ^      ~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:38:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'long' for 1st argument
   38 |   static double __test(long);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:37:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'unsigned int' for 1st argument
   37 |   static double __test(unsigned);
      |                 ^      ~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:36:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'int' for 1st argument
   36 |   static double __test(int);
      |                 ^      ~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:35:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'char' for 1st argument
   35 |   static double __test(char);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:34:16: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'float' for 1st argument
   34 |   static float __test(float);
      |                ^      ~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:50:26: error: no matching function for call to '__test'
   50 |   using type = decltype((__test(_Args()) + ...));
      |                          ^~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:47:22: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'long double' for 1st argument
   47 |   static long double __test(long double);
      |                      ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:46:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'double' for 1st argument
   46 |   static double __test(double);
      |                 ^      ~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:44:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to '__uint128_t' (aka 'unsigned __int128') for 1st argument
   44 |   static double __test(__uint128_t);
      |                 ^      ~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:43:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to '__int128_t' (aka '__int128') for 1st argument
   43 |   static double __test(__int128_t);
      |                 ^      ~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:41:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'unsigned long long' for 1st argument
   41 |   static double __test(unsigned long long);
      |                 ^      ~~~~~~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:40:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'long long' for 1st argument
   40 |   static double __test(long long);
      |                 ^      ~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:39:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'unsigned long' for 1st argument
   39 |   static double __test(unsigned long);
      |                 ^      ~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:38:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'long' for 1st argument
   38 |   static double __test(long);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:37:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'unsigned int' for 1st argument
   37 |   static double __test(unsigned);
      |                 ^      ~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:36:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'int' for 1st argument
   36 |   static double __test(int);
      |                 ^      ~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:35:17: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'char' for 1st argument
   35 |   static double __test(char);
      |                 ^      ~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__type_traits/promote.h:34:16: note: candidate function not viable: no known conversion from 'xad::FReal<xad::AReal<double, 1>>' to 'float' for 1st argument
   34 |   static float __test(float);
      |                ^      ~~~~~
9 errors generated.
make[2]: *** [test/CMakeFiles/xad_test.dir/Expressions_test.cpp.o] Error 1
make[1]: *** [test/CMakeFiles/xad_test.dir/all] Error 2
make: *** [all] Error 2

[auto-differentiation-dev]

Thank you for your inputs. The main issue is here:

/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__math/fma.h:43:39: note: in instantiation of template class 'std::__promote<xad::FReal<xad::AReal<double, 1>>, xad::FReal<xad::AReal<double, 1>>, xad::FReal<xad::AReal<double, 1>>>' requested here
   43 | inline _LIBCPP_HIDE_FROM_ABI typename __promote<_A1, _A2, _A3>::type fma(_A1 __x, _A2 __y, _A3 __z) _NOEXCEPT {
      |                                       ^
/Users/jiri/dev/gh/AAD/xad/test/Expressions_test.cpp:1848:40: note: while substituting deduced template arguments into function template 'fma' [with _A1 = xad::FReal<xad::AReal<double>>, _A2 = xad::FReal<xad::AReal<double>>, _A3 = xad::FReal<xad::AReal<double>>, $3 = (no value)]
 1848 |     xad::FReal<xad::AReal<double>> y = fma(a, b, c);

When calling fma(a, b, c) with XAD types, it does not pick the function defined in XAD, but tries the standard library one. Which of course fails.

In order to fix this, we would need a CI/CD pipeline that reproduces the issue, with Apple Clang 17 on Mac. Would you care to submit a PR for adding this pipeline to .github/workflows/ci.yaml, so we can try to fix the issue?