File tree Expand file tree Collapse file tree 2 files changed +12
-106
lines changed Expand file tree Collapse file tree 2 files changed +12
-106
lines changed Original file line number Diff line number Diff line change @@ -1157,7 +1157,12 @@ pub fn make_normalized_projection<'tcx>(
1157
1157
args : impl IntoIterator < Item = impl Into < GenericArg < ' tcx > > > ,
1158
1158
) -> Option < Ty < ' tcx > > {
1159
1159
fn helper < ' tcx > ( tcx : TyCtxt < ' tcx > , param_env : ParamEnv < ' tcx > , ty : AliasTy < ' tcx > ) -> Option < Ty < ' tcx > > {
1160
- if let Some ( ( i, arg) ) = ty. args . iter ( ) . enumerate ( ) . find ( |( _, arg) | arg. has_late_bound_regions ( ) ) {
1160
+ if let Some ( ( i, arg) ) = ty
1161
+ . args
1162
+ . iter ( )
1163
+ . enumerate ( )
1164
+ . find ( |( _, arg) | arg. has_escaping_bound_vars ( ) )
1165
+ {
1161
1166
debug_assert ! (
1162
1167
false ,
1163
1168
"args contain late-bound region at index `{i}` which can't be normalized.\n \
@@ -1229,7 +1234,12 @@ pub fn make_normalized_projection_with_regions<'tcx>(
1229
1234
args : impl IntoIterator < Item = impl Into < GenericArg < ' tcx > > > ,
1230
1235
) -> Option < Ty < ' tcx > > {
1231
1236
fn helper < ' tcx > ( tcx : TyCtxt < ' tcx > , param_env : ParamEnv < ' tcx > , ty : AliasTy < ' tcx > ) -> Option < Ty < ' tcx > > {
1232
- if let Some ( ( i, arg) ) = ty. args . iter ( ) . enumerate ( ) . find ( |( _, arg) | arg. has_late_bound_regions ( ) ) {
1237
+ if let Some ( ( i, arg) ) = ty
1238
+ . args
1239
+ . iter ( )
1240
+ . enumerate ( )
1241
+ . find ( |( _, arg) | arg. has_escaping_bound_vars ( ) )
1242
+ {
1233
1243
debug_assert ! (
1234
1244
false ,
1235
1245
"args contain late-bound region at index `{i}` which can't be normalized.\n \
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments