From 5abec3c2ce6be76c6989705b6334f6daa94e3500 Mon Sep 17 00:00:00 2001
From: A4-Tacks <wdsjxhno1001@163.com>
Date: Sun, 21 Dec 2025 15:02:42 +0800
Subject: [PATCH] internal: Fix hir-ty implicit serde derive feature

bad commit: 0dd3fe029a532c6c5fa3b0bdd7c4eb57843bb156
cwd: crates/hir-ty
cmd: cargo check
output: error: cannot find derive macro `Serialize` in this scope
---
 Cargo.lock                                         | 1 +
 crates/hir-ty/Cargo.toml                           | 1 +
 crates/hir-ty/src/next_solver/format_proof_tree.rs | 2 +-
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/Cargo.lock b/Cargo.lock
index 92a6c3e976..1e924d92f4 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -903,6 +903,7 @@ dependencies = [
  "salsa",
  "salsa-macros",
  "serde",
+ "serde_derive",
  "smallvec",
  "span",
  "stdx",
diff --git a/crates/hir-ty/Cargo.toml b/crates/hir-ty/Cargo.toml
index e54a6190b4..238d1b08ae 100644
--- a/crates/hir-ty/Cargo.toml
+++ b/crates/hir-ty/Cargo.toml
@@ -19,6 +19,7 @@ arrayvec.workspace = true
 smallvec.workspace = true
 ena = "0.14.3"
 serde.workspace = true
+serde_derive.workspace = true
 either.workspace = true
 oorandom = "11.1.5"
 tracing = { workspace = true, features = ["attributes"] }
diff --git a/crates/hir-ty/src/next_solver/format_proof_tree.rs b/crates/hir-ty/src/next_solver/format_proof_tree.rs
index fa09cda234..59fb0d65c5 100644
--- a/crates/hir-ty/src/next_solver/format_proof_tree.rs
+++ b/crates/hir-ty/src/next_solver/format_proof_tree.rs
@@ -1,5 +1,5 @@
 use rustc_type_ir::{solve::GoalSource, solve::inspect::GoalEvaluation};
-use serde::{Deserialize, Serialize};
+use serde_derive::{Deserialize, Serialize};
 
 use crate::next_solver::infer::InferCtxt;
 use crate::next_solver::inspect::{InspectCandidate, InspectGoal};