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

use std::marker::PhantomData;

#[derive(Clone, PartialEq, Eq, Hash)]
struct Foreign<T>(T);

#[derive(Clone, PartialEq, Eq, Hash)]
struct NotSalsaValue<'db>(PhantomData<&'db ()>);

#[salsa::interned]
struct ConditionalInterned<'db> {
    #[salsa_value(unsafe(prove(NotSalsaValue<'db>: salsa::SalsaValue)))]
    value: Foreign<NotSalsaValue<'db>>,
}

#[salsa::interned(unsafe(non_salsa_values))]
struct ConditionalInternedWithItemEscape<'db> {
    #[salsa_value(unsafe(prove(NotSalsaValue<'db>: salsa::SalsaValue)))]
    value: Foreign<NotSalsaValue<'db>>,
}

#[salsa::tracked]
struct ConditionalTracked<'db> {
    #[salsa_value(unsafe(prove(NotSalsaValue<'db>: salsa::SalsaValue)))]
    value: Foreign<NotSalsaValue<'db>>,
}

fn main() {}