https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107085

--- Comment #6 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to Roy Jacobson from comment #3)
> Thanks! But a Base const& is still not detected:
> 
> static_assert(__reference_constructs_from_temporary(Base const&, Derived));
> 
> And in this case I think it _is_ a bug that this doesn't compile?

To make sure I understand this correctly, __reference_constructs_from_temporary
should say "yes" here, because it's just like

  const Base& b(Derived{});

where we bind 'b' to the Base subobject of a temporary Derived object, yes?

Reply via email to