s/skol_predicate/placeholder_predicate

diff --git a/src/librustc/traits/project.rs b/src/librustc/traits/project.rs
index 9cad9a06c635cd979cbce75cabb2263e3ea17ea3..7c1f87fbf3fefe1f25e2f488e1952e1e485ae8e1 100644 (file)
--- 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;