On 28/2/25 02:09, Brian Bi wrote:
>
>
> On Wed, Feb 26, 2025 at 7:19 PM Russell Shaw via Std-Discussion <std-
> discussion_at_[hidden] <mailto:std-discussion_at_[hidden]>> wrote:

...

> The reason why it's not ambiguous is that the E subobject contains all A and B
> subobjects of an F object.

A paper worth reading is
<https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2003/n1543.pdf>

Issue 39:
39. Conflicting ambiguity rules
<https://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html>