Function walk_and_push_ty 

fn walk_and_push_ty(
    db: &RootDatabase,
    ty: &Type<'_>,
    push_new_def: &mut dyn FnMut(ModuleDef),
)