flux_infer/
lib.rs

1#![feature(never_type, rustc_private, if_let_guard)]
2
3extern crate rustc_abi;
4extern crate rustc_data_structures;
5extern crate rustc_hir;
6extern crate rustc_index;
7extern crate rustc_infer;
8extern crate rustc_macros;
9extern crate rustc_middle;
10extern crate rustc_span;
11extern crate rustc_trait_selection;
12extern crate rustc_type_ir;
13
14mod evars;
15pub mod fixpoint_encoding;
16pub mod infer;
17pub mod projections;
18pub mod refine_tree;