@@ -5,7 +5,7 @@ use rustc_hir::def::Res;
55use rustc_hir:: def_id:: DefId ;
66use rustc_hir:: { Expr , ExprKind , HirId } ;
77use rustc_middle:: ty:: {
8- self , ClauseKind , GenericArgsRef , ParamTy , ProjectionPredicate , TraitPredicate , Ty as MiddleTy ,
8+ self , ClauseKind , GenericArgsRef , ParamTy , ProjectionPredicate , TraitPredicate , Ty ,
99} ;
1010use rustc_session:: { declare_lint_pass, declare_tool_lint} ;
1111use rustc_span:: hygiene:: { ExpnKind , MacroKind } ;
@@ -192,7 +192,7 @@ fn get_callee_span_generic_args_and_args<'tcx>(
192192fn get_input_traits_and_projections < ' tcx > (
193193 cx : & LateContext < ' tcx > ,
194194 callee_def_id : DefId ,
195- input : MiddleTy < ' tcx > ,
195+ input : Ty < ' tcx > ,
196196) -> ( Vec < TraitPredicate < ' tcx > > , Vec < ProjectionPredicate < ' tcx > > ) {
197197 let mut trait_predicates = Vec :: new ( ) ;
198198 let mut projection_predicates = Vec :: new ( ) ;
@@ -548,7 +548,7 @@ impl LateLintPass<'_> for Diagnostics {
548548
549549impl Diagnostics {
550550 // Is the type `{D,Subd}iagMessage`?
551- fn is_diag_message < ' cx > ( cx : & LateContext < ' cx > , ty : MiddleTy < ' cx > ) -> bool {
551+ fn is_diag_message < ' cx > ( cx : & LateContext < ' cx > , ty : Ty < ' cx > ) -> bool {
552552 if let Some ( adt_def) = ty. ty_adt_def ( )
553553 && let Some ( name) = cx. tcx . get_diagnostic_name ( adt_def. did ( ) )
554554 && matches ! ( name, sym:: DiagMessage | sym:: SubdiagMessage )
@@ -562,7 +562,7 @@ impl Diagnostics {
562562 fn untranslatable_diagnostic < ' cx > (
563563 cx : & LateContext < ' cx > ,
564564 def_id : DefId ,
565- arg_tys_and_spans : & [ ( MiddleTy < ' cx > , Span ) ] ,
565+ arg_tys_and_spans : & [ ( Ty < ' cx > , Span ) ] ,
566566 ) {
567567 let fn_sig = cx. tcx . fn_sig ( def_id) . instantiate_identity ( ) . skip_binder ( ) ;
568568 let predicates = cx. tcx . predicates_of ( def_id) . instantiate_identity ( cx. tcx ) . predicates ;
0 commit comments