Validity and/or lifetime extension of mem-initializer in aggregate initialization

Question

CWG 1815 asked (with minor edits):

struct A {};
struct B { A&& a = A{}; };
B b1;         // #1
B b2{A{}};    // #2
B b3{};       // #3