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,
    typename constraint< is_convertible< OtherExecutor, InnerExecutor >::value >::type  = 0);