File: tracked_with_struct_ord.rs

package info (click to toggle)
rust-salsa 0.23.0-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,424 kB
  • sloc: sh: 12; makefile: 2; javascript: 1
file content (37 lines) | stat: -rw-r--r-- 811 bytes parent folder | download | duplicates (6)
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
//! Test that `PartialOrd` and `Ord` can be derived for tracked structs

use salsa::{Database, DatabaseImpl};
use test_log::test;

#[salsa::input]
#[derive(PartialOrd, Ord)]
struct Input {
    value: usize,
}

#[salsa::tracked(debug)]
#[derive(Ord, PartialOrd)]
struct MyTracked<'db> {
    value: usize,
}

#[salsa::tracked]
fn create_tracked(db: &dyn Database, input: Input) -> MyTracked<'_> {
    MyTracked::new(db, input.value(db))
}

#[test]
fn execute() {
    DatabaseImpl::new().attach(|db| {
        let input1 = Input::new(db, 20);
        let input2 = Input::new(db, 10);

        // Compares by ID and not by value.
        assert!(input1 <= input2);

        let t0: MyTracked = create_tracked(db, input1);
        let t1: MyTracked = create_tracked(db, input2);

        assert!(t0 <= t1);
    })
}