On Monday, February 8, 2016, Vitaly Burovoy <
vitaly.burovoy@gmail.com> wrote:
12. At the same time in (subcl. 4.13) mentioned there can be "at least
one NNC" (may be via inheritance?).
This is a bit hard to reason about given that our implementation of inheritance is non-standard.
Are we close to the standard semantics with regard to this particular dynamic?
David J.