[求助]如何得到 salsa的 tracked structs?

我实现了非 tracked structs 结构的, 或者说是递归型式的例子. 但不知道怎么来实现tracked的例子. 也许可能是手动展开如下代码? 另外,如果可行,那如何derive两次呢? #[tracked] fn data(&self, db: &DbType<'_>) -> SourceProgramData { SourceProgramData { ...