This repository was archived by the owner on May 28, 2025. It is now read-only.
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 @@ -1160,7 +1160,12 @@ pub fn make_normalized_projection<'tcx>(
11601160) -> Option < Ty < ' tcx > > {
11611161 fn helper < ' tcx > ( tcx : TyCtxt < ' tcx > , param_env : ParamEnv < ' tcx > , ty : AliasTy < ' tcx > ) -> Option < Ty < ' tcx > > {
11621162 #[ cfg( debug_assertions) ]
1163- if let Some ( ( i, arg) ) = ty. args . iter ( ) . enumerate ( ) . find ( |( _, arg) | arg. has_late_bound_regions ( ) ) {
1163+ if let Some ( ( i, arg) ) = ty
1164+ . args
1165+ . iter ( )
1166+ . enumerate ( )
1167+ . find ( |( _, arg) | arg. has_escaping_bound_vars ( ) )
1168+ {
11641169 debug_assert ! (
11651170 false ,
11661171 "args contain late-bound region at index `{i}` which can't be normalized.\n \
@@ -1233,7 +1238,12 @@ pub fn make_normalized_projection_with_regions<'tcx>(
12331238) -> Option < Ty < ' tcx > > {
12341239 fn helper < ' tcx > ( tcx : TyCtxt < ' tcx > , param_env : ParamEnv < ' tcx > , ty : AliasTy < ' tcx > ) -> Option < Ty < ' tcx > > {
12351240 #[ cfg( debug_assertions) ]
1236- if let Some ( ( i, arg) ) = ty. args . iter ( ) . enumerate ( ) . find ( |( _, arg) | arg. has_late_bound_regions ( ) ) {
1241+ if let Some ( ( i, arg) ) = ty
1242+ . args
1243+ . iter ( )
1244+ . enumerate ( )
1245+ . find ( |( _, arg) | arg. has_escaping_bound_vars ( ) )
1246+ {
12371247 debug_assert ! (
12381248 false ,
12391249 "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