Convert the specified executor to the inner executor type, then use that to construct the adapted executor.
template< typename OtherExecutor> executor_with_default( const OtherExecutor & ex, constraint_t< is_convertible< OtherExecutor, InnerExecutor >::value > = 0);