OpenE2K
/
rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

s/skol_predicate/placeholder_predicate

This commit is contained in:
Niko Matsakis 2018-10-02 20:10:40 -04:00
parent b99a8d7056
commit 85b99561c6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/librustc/traits/project.rs
View File

@ -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;