Nested hierarchy types bug repro test