flux_infer/
lib.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#![feature(extract_if, let_chains, never_type, rustc_private, if_let_guard)]

extern crate rustc_abi;
extern crate rustc_data_structures;
extern crate rustc_hir;
extern crate rustc_index;
extern crate rustc_infer;
extern crate rustc_macros;
extern crate rustc_middle;
extern crate rustc_span;
extern crate rustc_trait_selection;
extern crate rustc_type_ir;

mod evars;
pub mod fixpoint_encoding;
pub mod infer;
pub mod projections;
pub mod refine_tree;