rename mod region_obligations to outlives::obligations

This commit is contained in:
Niko Matsakis 2017-11-04 07:23:21 -04:00
parent 0c81d0158f
commit 56e5eb5fd4
3 changed files with 2 additions and 1 deletions

View file

@ -55,7 +55,7 @@ mod higher_ranked;
pub mod lattice;
mod lub;
pub mod region_inference;
mod region_obligations;
mod outlives;
pub mod resolve;
mod freshen;
mod sub;

View file

@ -0,0 +1 @@
mod obligations;