{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"walk_and_push_ty(db,"}]}
        walk_and_push_ty(db, &adjusted_ty, &mut push_new_def);
    res.markup = if let Some(adjusted_ty) = adjusted {