diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-09-06 12:39:48 -0400 |
|---|---|---|
| committer | Wesley Wiser <wwiser@gmail.com> | 2018-09-06 19:58:23 -0400 |
| commit | 5390cf32f7314eba09c504aac3be02e8f546b1f6 (patch) | |
| tree | fe676eb747e2b0c11701d0e34d220e565b52bcdd | |
| parent | 81f64b7fa31de97930560fe6d18b6e291f76a626 (diff) | |
| download | rust-5390cf32f7314eba09c504aac3be02e8f546b1f6.tar.gz rust-5390cf32f7314eba09c504aac3be02e8f546b1f6.zip | |
resolve_lifetime: types are not late-bound regions =)
| -rw-r--r-- | src/librustc/middle/resolve_lifetime.rs | 7 |
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(<_name) { |
