// { dg-do compile  }
// Origin: Mark Mitchell <mark@codesourcery.com>

template <class T>
struct S { // { dg-error "assignment" }
  S();
  T t;
};

void f()
{
  S<const int> s;
  s = s; // { dg-error "synthesized" }
}