@@ -516,7 +516,7 @@ impl<'cx, 'tcx> UniversalRegionsBuilder<'cx, 'tcx> {
516
516
let va_list_ty =
517
517
self . infcx . tcx . type_of ( va_list_did) . subst ( self . infcx . tcx , & [ region. into ( ) ] ) ;
518
518
519
- unnormalized_input_tys = self . infcx . tcx . mk_type_list (
519
+ unnormalized_input_tys = self . infcx . tcx . mk_type_list_from_iter (
520
520
unnormalized_input_tys. iter ( ) . copied ( ) . chain ( iter:: once ( va_list_ty) ) ,
521
521
) ;
522
522
}
@@ -656,7 +656,7 @@ impl<'cx, 'tcx> UniversalRegionsBuilder<'cx, 'tcx> {
656
656
assert_eq ! ( self . mir_def. did. to_def_id( ) , def_id) ;
657
657
let closure_sig = substs. as_closure ( ) . sig ( ) ;
658
658
let inputs_and_output = closure_sig. inputs_and_output ( ) ;
659
- let bound_vars = tcx. mk_bound_variable_kinds (
659
+ let bound_vars = tcx. mk_bound_variable_kinds_from_iter (
660
660
inputs_and_output
661
661
. bound_vars ( )
662
662
. iter ( )
@@ -680,7 +680,7 @@ impl<'cx, 'tcx> UniversalRegionsBuilder<'cx, 'tcx> {
680
680
} ;
681
681
682
682
ty:: Binder :: bind_with_vars (
683
- tcx. mk_type_list (
683
+ tcx. mk_type_list_from_iter (
684
684
iter:: once ( closure_ty) . chain ( inputs) . chain ( iter:: once ( output) ) ,
685
685
) ,
686
686
bound_vars,
@@ -693,7 +693,7 @@ impl<'cx, 'tcx> UniversalRegionsBuilder<'cx, 'tcx> {
693
693
let output = substs. as_generator ( ) . return_ty ( ) ;
694
694
let generator_ty = tcx. mk_generator ( def_id, substs, movability) ;
695
695
let inputs_and_output =
696
- self . infcx . tcx . intern_type_list ( & [ generator_ty, resume_ty, output] ) ;
696
+ self . infcx . tcx . mk_type_list ( & [ generator_ty, resume_ty, output] ) ;
697
697
ty:: Binder :: dummy ( inputs_and_output)
698
698
}
699
699
@@ -709,13 +709,13 @@ impl<'cx, 'tcx> UniversalRegionsBuilder<'cx, 'tcx> {
709
709
assert_eq ! ( self . mir_def. did. to_def_id( ) , def_id) ;
710
710
let ty = tcx. type_of ( self . mir_def . def_id_for_type_of ( ) ) . subst_identity ( ) ;
711
711
let ty = indices. fold_to_region_vids ( tcx, ty) ;
712
- ty:: Binder :: dummy ( tcx. intern_type_list ( & [ ty] ) )
712
+ ty:: Binder :: dummy ( tcx. mk_type_list ( & [ ty] ) )
713
713
}
714
714
715
715
DefiningTy :: InlineConst ( def_id, substs) => {
716
716
assert_eq ! ( self . mir_def. did. to_def_id( ) , def_id) ;
717
717
let ty = substs. as_inline_const ( ) . ty ( ) ;
718
- ty:: Binder :: dummy ( tcx. intern_type_list ( & [ ty] ) )
718
+ ty:: Binder :: dummy ( tcx. mk_type_list ( & [ ty] ) )
719
719
}
720
720
}
721
721
}
0 commit comments