{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"format!("}]}
        format!(
        walk_and_push_ty(sema.db, adjusted_ty, &mut push_new_def);
            "\nCoerced to: {}",