1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19

#[macro_export]
macro_rules! expect {
    ($option:expr) => {{
        $option.expect(concat!(file!(), ":", line!()))
    }};
    ($option:expr, $literal:expr) => {{
        $option.expect(concat!(file!(), ":", line!(), "|", $literal))
    }};
}

#[macro_export]
macro_rules! kaniformat {
    ($option:expr) => {{
        format!(concat!(file!(), ":", line!()))
    }};
    ($option:expr, $literal:expr) => {{
        format!(concat!(file!(), ":", line!(), "|", $literal))
    }};
}