be specific about what kind of normalization we mean

rust-lang · Dec 19, 2017 · 1816ede · 1816ede
1 parent 3d826e5
commit 1816ede
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/librustc_mir/borrow_check/nll/universal_regions.rs b/src/librustc_mir/borrow_check/nll/universal_regions.rs
@@ -71,12 +71,14 @@ pub struct UniversalRegions<'tcx> {
 
     /// The return type of this function, with all regions replaced by
     /// their universal `RegionVid` equivalents. This type is **NOT
-    /// NORMALIZED**.
+    /// NORMALIZED** (i.e., it contains unnormalized associated type
+    /// projections).
     pub output_ty: Ty<'tcx>,
 
     /// The fully liberated input types of this function, with all
     /// regions replaced by their universal `RegionVid` equivalents.
-    /// This type is **NOT NORMALIZED**.
+    /// This type is **NOT NORMALIZED** (i.e., it contains
+    /// unnormalized associated type projections).
     pub input_tys: &'tcx [Ty<'tcx>],
 
     /// Each RBP `('a, GK)` indicates that `GK: 'a` can be assumed to