polonius 0.3.0

Core definition for the Rust borrow checker
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

use polonius_engine;

pub(crate) type AllFacts = polonius_engine::AllFacts<Region, Loan, Point>;

macro_rules! index_type {
    ($t:ident) => {
        #[derive(Ord, PartialOrd, Eq, PartialEq, Clone, Copy, Debug, Hash)]
        pub(crate) struct $t {
            index: u32,
        }

        impl From<usize> for $t {
            fn from(index: usize) -> $t {
                $t {
                    index: index as u32,
                }
            }
        }

        impl Into<usize> for $t {
            fn into(self) -> usize {
                self.index as usize
            }
        }

        impl polonius_engine::Atom for $t {
            fn index(self) -> usize {
                self.into()
            }
        }
    };
}

index_type!(Region);
index_type!(Loan);
index_type!(Point);