15 #include <type_traits>
17 namespace Acts::detail {
19 template <
typename stepper_t>
22 std::declval<typename stepper_t::State&>(), std::declval<Acts::Surface>(),
23 std::declval<bool>(), std::declval<Acts::FreeToBoundCorrection>()));
25 std::decay_t<decltype(std::get<0>(*std::declval<result_type>()))>;
28 template <
typename stepper_t>
32 template <
typename stepper_t>
35 std::declval<typename stepper_t::State&>(), std::declval<bool>()));
36 using type = std::decay_t<decltype(std::get<0>(std::declval<result_type>()))>;
39 template <
typename stepper_t>