// The FCD doesn't allow typedefs and static_assert in constexpr functions,
// but it should.
// { dg-options "-std=c++0x -pedantic" }

template <class T>
constexpr T f(T t)
{
  typedef T T2;			     // { dg-warning "constexpr" "" { xfail *-*-* } }
  static_assert (T2(0) == T(0), ""); // { dg-warning "constexpr" "" { xfail *-*-* } }
  return t;
}

int main()
{
  constexpr int i = f(42);
}