using type = see below;
Type: T::executor_type if the qualified-id T::executor_type is valid and denotes a type (C++ 2014 [temp.deduct]). Otherwise Executor.
type get(const T& t, const Executor& e = Executor()) noexcept;
Returns: t.get_executor() if the qualified-id T::executor_type is valid and denotes a type (C++ 2014 [temp.deduct]). Otherwise e.