On Sat, 5 Jul 2025 at 20:18, Xavier Bonaventura via SG20
<sg20_at_[hidden]> wrote:
>
> Hi,
>
> I just wrote this paper about the topic and I would be interested on SG20 opinion
> https://isocpp.org/files/papers/P3781R0.html
> I stumbled across this when playing around with reflection and I had the feeling that it might be not intuitive when teaching.
> The important part of the paper is the "Motivating example"

Do you have a suggested teaching rationale for the difference between

template <reflection_range R = initializer_list<info>>
consteval bool is_constructible_type(info type, R&& type_args);

and

consteval bool is_assignable_type(info type_dst, info type_src);

?