rename implied_bounds module to bounds

Author: nikomatsakis

src/librustc/infer/outlives/implied_bounds.rs renamed to src/librustc/infer/outlives/bounds.rs

@@ -10,7 +10,7 @@
 
 use infer::{GenericKind, InferCtxt};
 use infer::outlives::free_region_map::FreeRegionMap;
-use infer::outlives::implied_bounds::{self, OutlivesBound};
+use infer::outlives::bounds::{self, OutlivesBound};
 use ty::{self, Ty};
 
 use syntax::ast;
@@ -50,7 +50,7 @@ impl<'a, 'gcx: 'tcx, 'tcx: 'a> OutlivesEnvironment<'tcx> {
             region_bound_pairs: vec![],
         };
 
-        env.add_outlives_bounds(None, implied_bounds::explicit_outlives_bounds(param_env));
+        env.add_outlives_bounds(None, bounds::explicit_outlives_bounds(param_env));
 
         env
     }

src/librustc/infer/outlives/env.rs

@@ -12,5 +12,5 @@
 
 pub mod env;
 pub mod free_region_map;
-pub mod implied_bounds;
+pub mod bounds;
 mod obligations;