Proposed resolution:

This wording is relative to N5014.

1. Modify [meta.reflection.array] as indicated:

   template<ranges::input_range R>
     consteval info reflect_constant_array(R&& r);
   

   -8- Let T be ranges::range_value_t<R>.

   -9- Mandates: T is a structural type ([temp.param]), is_constructible_v<T, ranges::range_reference_t<R>> is true, and is_copy_constructible_v<T> is true T satisfies copy_constructible.

   -10- Let V be the pack of values of type info of the same size as r, where the i^th element is reflect_constant(e_istatic_cast<T>(*it_i)), where e_iit_i is an iterator to the i^th element of r.

   […]

[meta.reflection.array] p10 Clarify e_i type. It is not clear what e_i is when proxy references are involved.

[meta.reflection.array] Clarify copy-initialization vs. direct-initialization use The initialization of P uses copy-initialization but the Mandates clause uses direct-initialization.