about summary refs log tree commit diff
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2018-09-06 12:39:48 -0400
committerWesley Wiser <wwiser@gmail.com>2018-09-06 19:58:23 -0400
commit5390cf32f7314eba09c504aac3be02e8f546b1f6 (patch)
treefe676eb747e2b0c11701d0e34d220e565b52bcdd
parent81f64b7fa31de97930560fe6d18b6e291f76a626 (diff)
downloadrust-5390cf32f7314eba09c504aac3be02e8f546b1f6.tar.gz
rust-5390cf32f7314eba09c504aac3be02e8f546b1f6.zip
resolve_lifetime: types are not late-bound regions =)
-rw-r--r--src/librustc/middle/resolve_lifetime.rs7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/librustc/middle/resolve_lifetime.rs b/src/librustc/middle/resolve_lifetime.rs
index d0f801e661b..db931d0a739 100644
--- a/src/librustc/middle/resolve_lifetime.rs
+++ b/src/librustc/middle/resolve_lifetime.rs
@@ -2567,6 +2567,13 @@ fn insert_late_bound_lifetimes(
     // - do not appear in the where-clauses
     // - are not implicitly captured by `impl Trait`
     for param in &generics.params {
+        match param.kind {
+            hir::GenericParamKind::Lifetime { .. } => { /* fall through */ }
+
+            // Types are not late-bound.
+            hir::GenericParamKind::Type { .. } => continue,
+        }
+
         let lt_name = hir::LifetimeName::Param(param.name.modern());
         // appears in the where clauses? early-bound.
         if appears_in_where_clause.regions.contains(&lt_name) {