@diondokter This is for a very particular case: you have a public type that is purely a newtype for a data-only inner type. In particular for enums, this is a technique to make your variants private. This is similar to what you said about sometimes you need the contexts of a private items to understand public items. `BarInner` exists purely for `Bar` and is that kind of context. Think of `struct Bar` and `enum BarInner` as one unit.