salsa 0.28.2

A generic framework for on-demand, incrementalized computation (experimental)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95

error[E0277]: `NotSalsaValue<'db>` doesn't implement `SalsaValue`
  --> tests/compile-fail/salsa_struct_conditional_proof.rs:9:1
   |
 9 | #[salsa::interned]
   | ^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
   |
help: the trait `SalsaValue` is not implemented for `NotSalsaValue<'db>`
  --> tests/compile-fail/salsa_struct_conditional_proof.rs:7:1
   |
 7 | struct NotSalsaValue<'db>(PhantomData<&'db ()>);
   | ^^^^^^^^^^^^^^^^^^^^^^^^^
   = note: add `#[derive(salsa::SalsaValue)]` to `NotSalsaValue<'db>`
   = help: the following other types implement trait `SalsaValue`:
             &'static T
             ()
             (A, B)
             (A, B, C)
             (A, B, C, D)
             (A, B, C, D, E)
             (A, B, C, D, E, F)
             (A, B, C, D, E, F, G)
           and $N others
note: required by a bound in `_::_assert_fields_are_salsa_values::_assert_manual_retention_proof`
  --> tests/compile-fail/salsa_struct_conditional_proof.rs:11:52
   |
 9 | #[salsa::interned]
   | ------------------ required by a bound in this function
10 | struct ConditionalInterned<'db> {
11 |     #[salsa_value(unsafe(prove(NotSalsaValue<'db>: salsa::SalsaValue)))]
   |                                                    ^^^^^^^^^^^^^^^^^ required by this bound in `_assert_manual_retention_proof`
   = note: this error originates in the attribute macro `salsa::interned` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0277]: `NotSalsaValue<'db>` doesn't implement `SalsaValue`
  --> tests/compile-fail/salsa_struct_conditional_proof.rs:15:1
   |
15 | #[salsa::interned(unsafe(non_salsa_values))]
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
   |
help: the trait `SalsaValue` is not implemented for `NotSalsaValue<'db>`
  --> tests/compile-fail/salsa_struct_conditional_proof.rs:7:1
   |
 7 | struct NotSalsaValue<'db>(PhantomData<&'db ()>);
   | ^^^^^^^^^^^^^^^^^^^^^^^^^
   = note: add `#[derive(salsa::SalsaValue)]` to `NotSalsaValue<'db>`
   = help: the following other types implement trait `SalsaValue`:
             &'static T
             ()
             (A, B)
             (A, B, C)
             (A, B, C, D)
             (A, B, C, D, E)
             (A, B, C, D, E, F)
             (A, B, C, D, E, F, G)
           and $N others
note: required by a bound in `_::_assert_fields_are_salsa_values::_assert_manual_retention_proof`
  --> tests/compile-fail/salsa_struct_conditional_proof.rs:17:52
   |
15 | #[salsa::interned(unsafe(non_salsa_values))]
   | -------------------------------------------- required by a bound in this function
16 | struct ConditionalInternedWithItemEscape<'db> {
17 |     #[salsa_value(unsafe(prove(NotSalsaValue<'db>: salsa::SalsaValue)))]
   |                                                    ^^^^^^^^^^^^^^^^^ required by this bound in `_assert_manual_retention_proof`
   = note: this error originates in the attribute macro `salsa::interned` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0277]: `NotSalsaValue<'db>` doesn't implement `SalsaValue`
  --> tests/compile-fail/salsa_struct_conditional_proof.rs:21:1
   |
21 | #[salsa::tracked]
   | ^^^^^^^^^^^^^^^^^ unsatisfied trait bound
   |
help: the trait `SalsaValue` is not implemented for `NotSalsaValue<'db>`
  --> tests/compile-fail/salsa_struct_conditional_proof.rs:7:1
   |
 7 | struct NotSalsaValue<'db>(PhantomData<&'db ()>);
   | ^^^^^^^^^^^^^^^^^^^^^^^^^
   = note: add `#[derive(salsa::SalsaValue)]` to `NotSalsaValue<'db>`
   = help: the following other types implement trait `SalsaValue`:
             &'static T
             ()
             (A, B)
             (A, B, C)
             (A, B, C, D)
             (A, B, C, D, E)
             (A, B, C, D, E, F)
             (A, B, C, D, E, F, G)
           and $N others
note: required by a bound in `_::_assert_fields_are_salsa_values::_assert_manual_retention_proof`
  --> tests/compile-fail/salsa_struct_conditional_proof.rs:23:52
   |
21 | #[salsa::tracked]
   | ----------------- required by a bound in this function
22 | struct ConditionalTracked<'db> {
23 |     #[salsa_value(unsafe(prove(NotSalsaValue<'db>: salsa::SalsaValue)))]
   |                                                    ^^^^^^^^^^^^^^^^^ required by this bound in `_assert_manual_retention_proof`
   = note: this error originates in the attribute macro `salsa::tracked` (in Nightly builds, run with -Z macro-backtrace for more info)