template<class T>
struct is_rule<T, void_t<decltype(std::declval<system::result<typename T::value_type> &>() = std::declval<const T &>().parse(std::declval<const char *&>(), std::declval<const char *>()))>>
    : std::is_nothrow_copy_constructible<T>;