Fix bug with prefetching on different nesting levels#519

Open

hjerichen wants to merge 3 commits intothecodingmachine:masterfrom hjerichen:BugfixOfPrefetchingSameTypeOnDifferentNestingLevels

+255-2

Commits on Oct 28, 2022

Fix bug of calling prefetch method only once with not all type objects when prefetching is on different nesting levels.
hjerichen
committed

Commits on Oct 30, 2022