mirror of
https://github.com/salsa-rs/salsa.git
synced 2025-01-23 05:07:27 +00:00
e0d07812fa
392: Allow creation of tracked methods r=nikomatsakis a=Skepfyr Fixes #319. This allows users to annotate impl blocks with `#[salsa::tracked]` and then create tracked methods by marking individual functions with `#[salsa::tracked]`. Note this requires your code that looks like: ```rust #[salsa::tracked(jar = Jar)] impl MyInput { #[salsa::tracked] fn tracked_fn(self, db: &dyn Db) -> u32 { self.field(db) * 2 } } ``` You get an error if you annotate a method with `#[salsa::tracked]` but forget to mark the impl block. It got messier than I was hoping but I think it turned out alright, this would look really pretty if we had [inherent associated types](https://github.com/rust-lang/rust/issues/8995), but we don't. Annoyingly even if that landed I think we'd still need the attribute on the impl block just so that it was possible to create the associated struct somewhere as you can't put types inside an impl block (and they aren't accessible if placed inside a function). Co-authored-by: Jack Rickard <jack.rickard@outlook.com> |
||
|---|---|---|
| .. | ||
| compile-fail | ||
| parallel | ||
| warnings | ||
| accumulate-from-tracked-fn.rs | ||
| accumulate-reuse-workaround.rs | ||
| accumulate-reuse.rs | ||
| accumulate.rs | ||
| compile_fail.rs | ||
| cycles.rs | ||
| debug.rs | ||
| deletion-cascade.rs | ||
| deletion.rs | ||
| expect_reuse_field_x_of_a_tracked_struct_changes_but_fn_depends_on_field_y.rs | ||
| expect_reuse_field_x_of_an_input_changes_but_fn_depends_on_field_y.rs | ||
| hello_world.rs | ||
| lru.rs | ||
| mutate_in_place.rs | ||
| override_new_get_set.rs | ||
| specify-only-works-if-the-key-is-created-in-the-current-query.rs | ||
| specify_tracked_fn_in_rev_1_but_not_2.rs | ||
| tracked_fn_on_input.rs | ||
| tracked_fn_on_tracked.rs | ||
| tracked_fn_on_tracked_specify.rs | ||
| tracked_fn_read_own_entity.rs | ||
| tracked_method.rs | ||