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

use std::marker::PhantomData;

struct Foreign<T>(T);

#[derive(salsa::SalsaValue)]
struct ConditionallySafe<T> {
    #[salsa_value(unsafe(prove(T: salsa::SalsaValue)))]
    value: Foreign<T>,
}

#[derive(salsa::SalsaValue)]
struct ConditionallyStatic<T> {
    #[salsa_value(unsafe(prove(T: 'static)))]
    value: Foreign<T>,
}

struct NotSalsaValue<'db>(PhantomData<&'db ()>);

fn assert_salsa_value<T: salsa::SalsaValue>() {}

fn rejects_unsatisfied_salsa_value_proof<'db>() {
    assert_salsa_value::<ConditionallySafe<NotSalsaValue<'db>>>();
}

fn rejects_unsatisfied_static_proof<'db>() {
    assert_salsa_value::<ConditionallyStatic<&'db ()>>();
}

fn main() {}