#include <iostream>
#include <string>
#include <vector>
#include <boost/spirit/home/x3.hpp>
#include <boost/spirit/home/x3/support/utility/annotate_on_success.hpp>

using std::string;
using std::vector;
using std::pair;

namespace x3 = boost::spirit::x3;

namespace ast {
  struct Identifier {};
}

typedef vector<string>::const_iterator iterator_type;

struct XXX : x3::annotate_on_success {};

template <typename Expr, typename T = void>
struct disable_if_substitution_failure {
  typedef T type;
};

template <typename ID, typename Iterator, typename Attribute, typename Context, typename Enable = void>
struct my_has_on_success : boost::mpl::false_ {};

template <typename ID, typename Iterator, typename Attribute, typename Context>
struct my_has_on_success<ID, Iterator, Context, Attribute,
  typename disable_if_substitution_failure<
  decltype(
    std::declval<ID>().on_success(
      std::declval<Iterator&>()
      , std::declval<Iterator>()
      , std::declval<Attribute&>()
      , std::declval<Context>()
      )
    )>::type
>
  : boost::mpl::true_ {};

template <typename ID, typename Iterator, typename Attribute, typename Context, typename Enable = void>
struct x3_has_on_success : boost::mpl::false_ {};

template <typename ID, typename Iterator, typename Attribute, typename Context>
struct x3_has_on_success<ID, Iterator, Context, Attribute,
  typename x3::disable_if_substitution_failure<
  decltype(
    std::declval<ID>().on_success(
      std::declval<Iterator&>()
      , std::declval<Iterator>()
      , std::declval<Attribute&>()
      , std::declval<Context>()
      )
    )>::type
>
  : boost::mpl::true_ {};

int main() {
  auto a1 = my_has_on_success<XXX, iterator_type, x3::unused_type, ast::Identifier&>();
  auto a2 = x3_has_on_success<XXX, iterator_type, x3::unused_type, ast::Identifier&>();
  auto a3 = x3::detail::has_on_success<XXX, iterator_type, x3::unused_type, ast::Identifier&>();
  typedef decltype(XXX().on_success(std::declval<iterator_type&>(), std::declval<iterator_type>(), std::declval<ast::Identifier&>(), x3::unused)) type;
  bool b1 = a1;
  bool b2 = a2;
  bool b3 = a3;
  std::cout << "me:   " << b1 << std::endl;
  std::cout << "x3:   " << b2 << std::endl;
  std::cout << "real: " << b3 << std::endl;
  return 0;
}