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
use ;
use TokenStream;
use ToTokens;
use parse_macro_input;
/// Irrefutable.
///
/// # Examples
///
/// unreachable:
///
/// ```
/// # #![feature(proc_macro_hygiene)]
/// # use irrefutable::irrefutable;
/// #[irrefutable(unreachable)]
/// let Some((a, b)) = Some(("a", "b"));
/// ```
///
/// return:
///
/// ```
/// # #![feature(proc_macro_hygiene)]
/// # use irrefutable::irrefutable;
/// #[irrefutable(return)]
/// let Some((a, b)) = Some(("a", "b"));
/// ```
///
/// #[irrefutable(panic("ashkjsakj"))]