Copy a comment
This commit is contained in:
parent
098d6f0597
commit
75eb59895f
1 changed files with 3 additions and 0 deletions
|
@ -1500,6 +1500,9 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
|
||||||
return Ok(());
|
return Ok(());
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// ok to skip binder because the substs on generator types never
|
||||||
|
// touch bound regions, they just capture the in-scope
|
||||||
|
// type/region parameters
|
||||||
let self_ty = *obligation.self_ty().skip_binder();
|
let self_ty = *obligation.self_ty().skip_binder();
|
||||||
let (closure_def_id, substs) = match self_ty.sty {
|
let (closure_def_id, substs) = match self_ty.sty {
|
||||||
ty::TyGenerator(id, substs, _) => (id, substs),
|
ty::TyGenerator(id, substs, _) => (id, substs),
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue