From 81eab1cab6e96b4430409245b83cc51cd40c2f9f Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Fri, 21 Aug 2015 15:34:10 -0400 Subject: [PATCH] completely aborted comment --- src/librustc/middle/free_region.rs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/librustc/middle/free_region.rs b/src/librustc/middle/free_region.rs index 33aec3e1f83a..744ceb3701db 100644 --- a/src/librustc/middle/free_region.rs +++ b/src/librustc/middle/free_region.rs @@ -8,7 +8,12 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -//! This file defines +//! This file handles the relationships between free regions -- +//! meaning lifetime parameters. Ordinarily, free regions are +//! unrelated to one another, but they can be related vai implied or +//! explicit bounds. In that case, we track the bounds using the +//! `TransitiveRelation` type and use that to decide when one free +//! region outlives another and so forth. use middle::ty::{self, FreeRegion, Region}; use middle::wf::ImpliedBound;