[Bug c++/89660] [9 Regression] Rejects-valid error with -Wredundant-move starting with r269427

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89660

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Slightly reduced:

namespace std {
  template <typename T> T &&move(T &&);
}

template <typename S> struct D {
  template <typename T> D (D<T> x) : k(&x.foo ()) {}
  S &foo ();
  int *k;
};

D<int> bar ();

struct F {
  D<int> baz () {
    D<F> f = bar ();
    return std::move (*reinterpret_cast<D<int> *> (&f));
  }
};