From 85b99561c62ec9ff9ccd884ed3ac8206d0d1c381 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Tue, 2 Oct 2018 20:10:40 -0400 Subject: [PATCH] s/skol_predicate/placeholder_predicate --- src/librustc/traits/project.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/librustc/traits/project.rs b/src/librustc/traits/project.rs index 9cad9a06c63..7c1f87fbf3f 100644 --- a/src/librustc/traits/project.rs +++ b/src/librustc/traits/project.rs @@ -206,10 +206,10 @@ pub fn poly_project_and_unify_type<'cx, 'gcx, 'tcx>( let infcx = selcx.infcx(); infcx.commit_if_ok(|snapshot| { - let (skol_predicate, placeholder_map) = + let (placeholder_predicate, placeholder_map) = infcx.replace_late_bound_regions_with_placeholders(&obligation.predicate); - let skol_obligation = obligation.with(skol_predicate); + let skol_obligation = obligation.with(placeholder_predicate); let r = match project_and_unify_type(selcx, &skol_obligation) { Ok(result) => { let span = obligation.cause.span;