@@ -503,7 +503,8 @@ fn sub_free_bound_false_infer() {
503
503
//! does NOT hold for any instantiation of `_#1`.
504
504
505
505
test_env ( EMPTY_SOURCE_STR , errors ( & [ ] ) , |env| {
506
- let t_infer1 = env. infcx . next_ty_var ( TypeVariableOrigin :: MiscVariable ( DUMMY_SP ) ) ;
506
+ let t_infer1 = env. infcx . next_ty_var ( ty:: UniverseIndex :: ROOT ,
507
+ TypeVariableOrigin :: MiscVariable ( DUMMY_SP ) ) ;
507
508
let t_rptr_bound1 = env. t_rptr_late_bound ( 1 ) ;
508
509
env. check_not_sub ( env. t_fn ( & [ t_infer1] , env. tcx ( ) . types . isize ) ,
509
510
env. t_fn ( & [ t_rptr_bound1] , env. tcx ( ) . types . isize ) ) ;
@@ -522,7 +523,8 @@ fn lub_free_bound_infer() {
522
523
523
524
test_env ( EMPTY_SOURCE_STR , errors ( & [ ] ) , |mut env| {
524
525
env. create_simple_region_hierarchy ( ) ;
525
- let t_infer1 = env. infcx . next_ty_var ( TypeVariableOrigin :: MiscVariable ( DUMMY_SP ) ) ;
526
+ let t_infer1 = env. infcx . next_ty_var ( ty:: UniverseIndex :: ROOT ,
527
+ TypeVariableOrigin :: MiscVariable ( DUMMY_SP ) ) ;
526
528
let t_rptr_bound1 = env. t_rptr_late_bound ( 1 ) ;
527
529
let t_rptr_free1 = env. t_rptr_free ( 1 ) ;
528
530
env. check_lub ( env. t_fn ( & [ t_infer1] , env. tcx ( ) . types . isize ) ,
@@ -642,7 +644,8 @@ fn glb_bound_free() {
642
644
fn glb_bound_free_infer ( ) {
643
645
test_env ( EMPTY_SOURCE_STR , errors ( & [ ] ) , |env| {
644
646
let t_rptr_bound1 = env. t_rptr_late_bound ( 1 ) ;
645
- let t_infer1 = env. infcx . next_ty_var ( TypeVariableOrigin :: MiscVariable ( DUMMY_SP ) ) ;
647
+ let t_infer1 = env. infcx . next_ty_var ( ty:: UniverseIndex :: ROOT ,
648
+ TypeVariableOrigin :: MiscVariable ( DUMMY_SP ) ) ;
646
649
647
650
// compute GLB(fn(_) -> isize, for<'b> fn(&'b isize) -> isize),
648
651
// which should yield for<'b> fn(&'b isize) -> isize
0 commit comments