argus-lib 0.1.0

Trait debugger analysis for IDE interactions.
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

use rustc_utils::source_map::{filename as fty, range as uty};

use crate::{proof_tree as pty, types as ty};

macro_rules! ts {
  ($($ty:ty,)*) => {
    $({
      let error_msg = format!("Failed to export TS binding for type '{}'", stringify!($ty));
      <$ty as ts_rs::TS>::export().expect(error_msg.as_ref());
    })*
  };
}

#[test]
fn export_bindings_indices() {
  ts! {
    ty::ExprIdx,
    ty::MethodLookupIdx,
    ty::ObligationIdx,

    pty::ProofNodeIdx,
    pty::GoalIdx,
  }
}

#[test]
fn export_bindings_rustc_utils() {
  ts! {
    uty::CharPos,
    uty::CharRange,
    fty::FilenameIndex,
  }
}