Notes from the August, 2011 meeting:
int f(); // not constexpr
struct A {
int m;
constexpr A(int i = f()) : m(i) { }
};
struct B {
A a;
} b;
This is ill-formed, no diagnostic required, because the defaulted default constructor of B will be declared constexpr but can never be invoked in a constant expression. See issue 1360.