No `walk_generics` call?