salsa 0.26.1

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

#![cfg(feature = "inventory")]

//! Test that auto trait impls exist as expected.

use std::panic::UnwindSafe;

use salsa::Database;
use test_log::test;

#[salsa::input]
struct MyInput {
    field: String,
}

#[salsa::tracked]
struct MyTracked<'db> {
    field: MyInterned<'db>,
}

#[salsa::interned]
struct MyInterned<'db> {
    field: String,
}

#[salsa::tracked]
fn test(db: &dyn Database, input: MyInput) {
    let input = is_send(is_sync(input));
    let interned = is_send(is_sync(MyInterned::new(db, input.field(db).clone())));
    let _tracked_struct = is_send(is_sync(MyTracked::new(db, interned)));
}

fn is_send<T: Send>(t: T) -> T {
    t
}

fn is_sync<T: Send>(t: T) -> T {
    t
}

fn is_unwind_safe<T: UnwindSafe>(t: T) -> T {
    t
}

#[test]
fn execute() {
    let db = is_send(salsa::DatabaseImpl::new());
    let _handle = is_send(is_sync(is_unwind_safe(
        db.storage().clone().into_zalsa_handle(),
    )));
    let input = MyInput::new(&db, "Hello".to_string());
    test(&db, input);
}