salsa 0.28.0

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

#[derive(Copy, Clone, Debug, PartialEq, Eq, salsa::SalsaValue)]
pub struct Things<'db> {
    v: std::marker::PhantomData<&'db ()>,
}

#[salsa::interned]
struct Other {
    #[returns(copy)]
    b: bool,
}

#[salsa::tracked]
impl Things<'_> {
    #[salsa::tracked]
    pub fn implicit(db: &dyn salsa::Database, _: Other<'_>) -> Things<'_> {
        _ = db;
        todo!()
    }

    #[salsa::tracked(returns(copy))]
    pub fn implicit2(db: &dyn salsa::Database, _: Other<'_>) -> Things<'_> {
        _ = db;
        todo!()
    }
}

#[salsa::tracked]
impl<'db> Things<'db> {
    #[salsa::tracked]
    pub fn explicit(db: &'db dyn salsa::Database, _: Other<'db>) -> Things<'db> {
        _ = db;
        todo!()
    }

    #[salsa::tracked(returns(copy))]
    pub fn explicit2(db: &'db dyn salsa::Database, _: Other<'db>) -> Things<'db> {
        _ = db;
        todo!()
    }

    #[salsa::tracked]
    pub fn implicit3(db: &dyn salsa::Database, _: Other<'_>) -> Things<'_> {
        _ = db;
        todo!()
    }

    #[salsa::tracked(returns(copy))]
    pub fn implicit4(db: &dyn salsa::Database, _: Other<'_>) -> Things<'_> {
        _ = db;
        todo!()
    }

    #[salsa::tracked(returns(copy))]
    pub fn static_value(db: &dyn salsa::Database) -> &'static str {
        _ = db;
        "test"
    }

    #[salsa::tracked(returns(copy))]
    pub fn static_value2(db: &dyn salsa::Database) -> &'static str {
        _ = db;
        "test"
    }
}

#[salsa::tracked]
impl<'a> Things<'a> {
    // The body refers to the impl's lifetime by name; the generated signature
    // must keep using that same name.
    #[salsa::tracked(returns(copy))]
    fn body_annotation(db: &'a dyn salsa::Database) -> u32 {
        let _: &'a dyn salsa::Database = db;
        0
    }

    // A higher-ranked function pointer return whose binder reuses `'db`; the db
    // lifetime must not be renamed into the binder. `no_eq` avoids comparing fn
    // pointers (which is unpredictable and only incidental to this test).
    #[salsa::tracked(returns(copy), no_eq, unsafe(non_salsa_values))]
    fn hrtb(db: &'a dyn salsa::Database) -> for<'db> fn(&'a (), &'db ()) {
        _ = db;
        unimplemented!()
    }

    // An elided, independent input lifetime (`Other<'_>`) must be tied to the db
    // lifetime on the outer signature so the call to the inner fn type-checks.
    #[salsa::tracked(returns(copy))]
    fn named_return(db: &'a dyn salsa::Database, other: Other<'_>) -> Things<'a> {
        _ = (db, other);
        unimplemented!()
    }
}

fn main() {}