On 02/05/2021 18:56, Arthur O'Dwyer via Std-Proposals wrote:
> In fact, from your examples, I think all you're looking for is what
> libc++ calls `__is_same_uncvref<T, U>` — i.e.,

Indeed I find the name is_value_constructible not very clear at
communicating what it's supposed to check.

(Things like __is_same_uncvref still leave me uncomfortable, in the
sense that they tell precisely what they do, but their naming still
sounds way too level to express the use-case intent. After all, we use
is_copy_constructible, not is_constructible_from_self_c_lvalue_ref or
similar).

My 2 c,

-- 
Giuseppe D'Angelo | giuseppe.dangelo_at_[hidden] | Senior Software Engineer
KDAB (France) S.A.S., a KDAB Group company
Tel. France +33 (0)4 90 84 08 53, http://www.kdab.com
KDAB - The Qt, C++ and OpenGL Experts