// PR c++/51577
// { dg-do compile { target c++17 } }
// Like operator-5.C but also containing a partial instantiation step.

namespace N { struct A { }; }

template <class...> auto f () {
  return [] (auto... xs) {
    (xs->*...->*N::A{}); // { dg-error "no match" }
    (N::A{}->*...->*xs); // { dg-error "no match" }
    (xs / ... / N::A{}); // { dg-error "no match" }
    (N::A{} / ... / xs); // { dg-error "no match" }
    (xs * ... * N::A{}); // { dg-error "no match" }
    (N::A{} * ... * xs); // { dg-error "no match" }
    (xs + ... + N::A{}); // { dg-error "no match" }
    (N::A{} + ... + xs); // { dg-error "no match" }
    (xs - ... - N::A{}); // { dg-error "no match" }
    (N::A{} - ... - xs); // { dg-error "no match" }
    (xs % ... % N::A{}); // { dg-error "no match" }
    (N::A{} % ... % xs); // { dg-error "no match" }
    (xs & ... & N::A{}); // { dg-error "no match" }
    (N::A{} & ... & xs); // { dg-error "no match" }
    (xs | ... | N::A{}); // { dg-error "no match" }
    (N::A{} | ... | xs); // { dg-error "no match" }
    (xs ^ ... ^ N::A{}); // { dg-error "no match" }
    (N::A{} ^ ... ^ xs); // { dg-error "no match" }
    (xs << ... << N::A{}); // { dg-error "no match" }
    (N::A{} << ... << xs); // { dg-error "no match" }
    (xs >> ... >> N::A{}); // { dg-error "no match" }
    (N::A{} >> ... >> xs); // { dg-error "no match" }
    (xs && ... && N::A{}); // { dg-error "no match" }
    (N::A{} && ... && xs); // { dg-error "no match" }
    (xs || ... || N::A{}); // { dg-error "no match" }
    (N::A{} || ... || xs); // { dg-error "no match" }
    (xs , ... , N::A{});
    (N::A{} , ... , xs);

    (xs == ... == N::A{}); // { dg-error "no match" }
    (N::A{} == ... == xs); // { dg-error "no match" }
    (xs != ... != N::A{}); // { dg-error "no match" }
    (N::A{} != ... != xs); // { dg-error "no match" }
    (xs < ... < N::A{}); // { dg-error "no match" }
    (N::A{} < ... < xs); // { dg-error "no match" }
    (xs > ... > N::A{}); // { dg-error "no match" }
    (N::A{} > ... > xs); // { dg-error "no match" }
    (xs <= ... <= N::A{}); // { dg-error "no match" }
    (N::A{} <= ... <= xs); // { dg-error "no match" }
    (xs >= ... >= N::A{}); // { dg-error "no match" }
    (N::A{} >= ... >= xs); // { dg-error "no match" }

    (xs += ... += N::A{}); // { dg-error "no match" }
    (N::A{} += ... += xs); // { dg-error "no match" }
    (xs -= ... -= N::A{}); // { dg-error "no match" }
    (N::A{} -= ... -= xs); // { dg-error "no match" }
    (xs *= ... *= N::A{}); // { dg-error "no match" }
    (N::A{} *= ... *= xs); // { dg-error "no match" }
    (xs /= ... /= N::A{}); // { dg-error "no match" }
    (N::A{} /= ... /= xs); // { dg-error "no match" }
    (xs %= ... %= N::A{}); // { dg-error "no match" }
    (N::A{} %= ... %= xs); // { dg-error "no match" }
    (xs |= ... |= N::A{}); // { dg-error "no match" }
    (N::A{} |= ... |= xs); // { dg-error "no match" }
    (xs ^= ... ^= N::A{}); // { dg-error "no match" }
    (N::A{} ^= ... ^= xs); // { dg-error "no match" }
    (xs <<= ... <<= N::A{}); // { dg-error "no match" }
    (N::A{} <<= ... <<= xs); // { dg-error "no match" }
    (xs >>= ... >>= N::A{}); // { dg-error "no match" }
    (N::A{} >>= ... >>= xs); // { dg-error "no match" }
  };
}

#include "operator-3-ops.h"

int main() {
  f()(N::A());
}