rapx 0.7.63

A static analysis platform for Rust program analysis and verification
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! Known API and type `DefId`s, plus MIR availability.

pub(crate) mod intrinsic_api;
pub(crate) mod nomir_api;
pub(crate) mod other_api;
pub(crate) mod type_ids;

use rustc_middle::ty::TyCtxt;

pub(crate) fn init(tcx: TyCtxt<'_>) {
    type_ids::init(tcx);
    other_api::init(tcx);
    intrinsic_api::init(tcx);
    nomir_api::init(tcx);
}