From fe9c5e651092786565b077841f69fa5559701ae5 Mon Sep 17 00:00:00 2001 From: Waffle Lapkin Date: Sun, 28 Apr 2024 19:26:23 +0200 Subject: [PATCH] Reorganize `use`s --- compiler/rustc_hir_typeck/src/fallback.rs | 24 +++++++++++------------ 1 file changed, 11 insertions(+), 13 deletions(-) diff --git a/compiler/rustc_hir_typeck/src/fallback.rs b/compiler/rustc_hir_typeck/src/fallback.rs index 86a75aa4d787..52ece8887b97 100644 --- a/compiler/rustc_hir_typeck/src/fallback.rs +++ b/compiler/rustc_hir_typeck/src/fallback.rs @@ -1,16 +1,18 @@ use std::cell::OnceCell; -use crate::{errors, FnCtxt}; +use crate::{errors, FnCtxt, TypeckRootCtxt}; use rustc_data_structures::{ graph::{self, iterate::DepthFirstSearch, vec_graph::VecGraph}, unord::{UnordBag, UnordMap, UnordSet}, }; +use rustc_hir as hir; +use rustc_hir::intravisit::Visitor; use rustc_hir::HirId; use rustc_infer::infer::{DefineOpaqueTypes, InferOk}; -use rustc_middle::ty::{self, Ty, TyCtxt, TypeVisitable}; +use rustc_middle::ty::{self, Ty, TyCtxt, TypeSuperVisitable, TypeVisitable}; use rustc_session::lint; -use rustc_span::Span; use rustc_span::DUMMY_SP; +use rustc_span::{def_id::LocalDefId, Span}; #[derive(Copy, Clone)] pub enum DivergingFallbackBehavior { @@ -508,23 +510,20 @@ impl<'tcx> FnCtxt<'_, 'tcx> { /// /// Will return `{ id(?X) -> (hir_id, span) }` fn compute_unsafe_infer_vars<'a, 'tcx>( - root_ctxt: &'a crate::TypeckRootCtxt<'tcx>, - body_id: rustc_span::def_id::LocalDefId, + root_ctxt: &'a TypeckRootCtxt<'tcx>, + body_id: LocalDefId, ) -> UnordMap { - use rustc_hir as hir; - let tcx = root_ctxt.infcx.tcx; - let body_id = tcx.hir().maybe_body_owned_by(body_id).unwrap(); + let body_id = tcx.hir().maybe_body_owned_by(body_id).expect("body id must have an owner"); let body = tcx.hir().body(body_id); - let mut res = <_>::default(); + let mut res = UnordMap::default(); struct UnsafeInferVarsVisitor<'a, 'tcx, 'r> { - root_ctxt: &'a crate::TypeckRootCtxt<'tcx>, + root_ctxt: &'a TypeckRootCtxt<'tcx>, res: &'r mut UnordMap, } - use hir::intravisit::Visitor; - impl hir::intravisit::Visitor<'_> for UnsafeInferVarsVisitor<'_, '_, '_> { + impl Visitor<'_> for UnsafeInferVarsVisitor<'_, '_, '_> { fn visit_expr(&mut self, ex: &'_ hir::Expr<'_>) { // FIXME: method calls if let hir::ExprKind::Call(func, ..) = ex.kind { @@ -566,7 +565,6 @@ fn compute_unsafe_infer_vars<'a, 'tcx>( if let Some(vid) = t.ty_vid() { self.res.insert(vid, (self.hir_id, self.call_span)); } else { - use ty::TypeSuperVisitable as _; t.super_visit_with(self) } }