On Monday, 13 June 2022 at 08:44:59 UTC, bauss wrote: > Thus _c should be accessible within a regardless of whether > it's public within the b module or not. Yes, I agree. It should not matter whether the pointer is typed as Foo or Bar, as a Bar is also a Foo.