error[E0277]: the trait bound `MyInterned<'_>: TrackedStructInDb` is not satisfied --> tests/compile-fail/specify-does-not-work-if-the-key-is-a-salsa-interned.rs:20:1 | 20 | #[salsa::tracked(jar = Jar, specify)] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `TrackedStructInDb` is not implemented for `MyInterned<'_>` | = help: the trait `TrackedStructInDb` is implemented for `MyTracked<'db>` note: required by a bound in `function::specify::>::specify_and_record` --> src/function/specify.rs | | pub fn specify_and_record<'db>(&'db self, db: &'db DynDb<'db, C>, key: Id, value: C::Value<'db>) | ------------------ required by a bound in this associated function | where | C::Input<'db>: TrackedStructInDb>, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `function::specify::>::specify_and_record` = note: this error originates in the attribute macro `salsa::tracked` (in Nightly builds, run with -Z macro-backtrace for more info)