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