From 82a6251ebc48eb9ce43ec69affeb8ac1a31b289b Mon Sep 17 00:00:00 2001
From: XFFXFF <1247714429@qq.com>
Date: Sat, 27 Aug 2022 07:05:35 +0800
Subject: [PATCH] add a test for specify

`specify` does not work if the key is a `salsa::input`
---
 ...es-not-work-if-the-key-is-a-salsa-input.rs | 35 +++++++++++++++++++
 ...ot-work-if-the-key-is-a-salsa-input.stderr | 14 ++++++++
 2 files changed, 49 insertions(+)
 create mode 100644 salsa-2022-tests/tests/compile-fail/specify-does-not-work-if-the-key-is-a-salsa-input.rs
 create mode 100644 salsa-2022-tests/tests/compile-fail/specify-does-not-work-if-the-key-is-a-salsa-input.stderr

diff --git a/salsa-2022-tests/tests/compile-fail/specify-does-not-work-if-the-key-is-a-salsa-input.rs b/salsa-2022-tests/tests/compile-fail/specify-does-not-work-if-the-key-is-a-salsa-input.rs
new file mode 100644
index 00000000..10d9f727
--- /dev/null
+++ b/salsa-2022-tests/tests/compile-fail/specify-does-not-work-if-the-key-is-a-salsa-input.rs
@@ -0,0 +1,35 @@
+//! Test that `specify` does not work if the key is a `salsa::input`
+//! compilation fails
+#![allow(warnings)]
+
+#[salsa::jar(db = Db)]
+struct Jar(MyInput, MyTracked, tracked_fn);
+
+trait Db: salsa::DbWithJar<Jar> {}
+
+#[salsa::input(jar = Jar)]
+struct MyInput {
+    field: u32,
+}
+
+#[salsa::tracked(jar = Jar)]
+struct MyTracked {
+    field: u32,
+}
+
+#[salsa::tracked(jar = Jar, specify)]
+fn tracked_fn(db: &dyn Db, input: MyInput) -> MyTracked {
+    MyTracked::new(db, input.field(db) * 2)
+}
+
+#[salsa::db(Jar)]
+#[derive(Default)]
+struct Database {
+    storage: salsa::Storage<Self>,
+}
+
+impl salsa::Database for Database {}
+
+impl Db for Database {}
+
+fn main() {}
\ No newline at end of file
diff --git a/salsa-2022-tests/tests/compile-fail/specify-does-not-work-if-the-key-is-a-salsa-input.stderr b/salsa-2022-tests/tests/compile-fail/specify-does-not-work-if-the-key-is-a-salsa-input.stderr
new file mode 100644
index 00000000..5c52c233
--- /dev/null
+++ b/salsa-2022-tests/tests/compile-fail/specify-does-not-work-if-the-key-is-a-salsa-input.stderr
@@ -0,0 +1,14 @@
+error[E0277]: the trait bound `MyInput: TrackedStructInDb<dyn Db>` is not satisfied
+   --> tests/compile-fail/specify-does-not-work-if-the-key-is-a-salsa-input.rs:21:28
+    |
+20  | #[salsa::tracked(jar = Jar, specify)]
+    | ------------------------------------- required by a bound introduced by this call
+21  | fn tracked_fn(db: &dyn Db, input: MyInput) -> MyTracked {
+    |                            ^^^^^ the trait `TrackedStructInDb<dyn Db>` is not implemented for `MyInput`
+    |
+    = help: the trait `TrackedStructInDb<DB>` is implemented for `MyTracked`
+note: required by a bound in `function::specify::<impl FunctionIngredient<C>>::specify_and_record`
+   --> $WORKSPACE/components/salsa-2022/src/function/specify.rs
+    |
+    |         C::Key: TrackedStructInDb<DynDb<'db, C>>,
+    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `function::specify::<impl FunctionIngredient<C>>::specify_and_record`