{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"walk_and_push_ty(db,"}]}
            walk_and_push_ty(db, &ty, &mut push_new_def);
        for (_, ty) in subst_types {
        }