//! New recursive solver modeled on Chalk's recursive solver. Most of
//! the guts are broken up into modules; see the comments in those modules.
-#![deny(rust_2018_idioms)]
-#![deny(unused_lifetimes)]
-
#![feature(crate_visibility_modifier)]
#![feature(in_band_lifetimes)]
#![feature(nll)]
-
-#![recursion_limit="256"]
+#![recursion_limit = "256"]
#[macro_use]
extern crate log;
mod chalk_context;
mod dropck_outlives;
mod evaluate_obligation;
+mod generic_types;
mod implied_outlives_bounds;
-mod normalize_projection_ty;
-mod normalize_erasing_regions;
pub mod lowering;
-mod generic_types;
+mod normalize_erasing_regions;
+mod normalize_projection_ty;
mod type_op;
use rustc::ty::query::Providers;