[over.match.class.deduct]/(1.8):

if e_i is of array type and x_i is a braced-init-list or string-literal, T_i is an rvalue reference to the declared type of e_i

According to P2082R1, the intent is to permit

template<class T, std::size_t N>
struct A {
    T array[N];
};

A a2 = {"meow"}; // should deduce A<const char, 5>

However, since "meow" is an lvalue, and the parameter T_i is an rvalue reference, it seems that the deduction would fail, contrary to the expectation.