On Monday, February 8, 2016, Vitaly Burovoy <vitaly(dot)burovoy(at)gmail(dot)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.