fmt

Author: tiif

compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs

@@ -21,8 +21,8 @@ use crate::coherence;
 use crate::delegate::SolverDelegate;
 use crate::placeholder::BoundVarReplacer;
 use crate::solve::inspect::{self, ProofTreeBuilder};
-use crate::solve::ty::may_use_unstable_feature;
 use crate::solve::search_graph::SearchGraph;
+use crate::solve::ty::may_use_unstable_feature;
 use crate::solve::{
     CanonicalInput, Certainty, FIXPOINT_STEP_LIMIT, Goal, GoalEvaluation, GoalEvaluationKind,
     GoalSource, GoalStalledOn, HasChanged, NestedNormalizationGoals, NoSolution, QueryInput,

compiler/rustc_type_ir/src/infer_ctxt.rs

@@ -284,16 +284,15 @@ pub trait InferCtxtLike: Sized {
     );
 
     fn reset_opaque_types(&self);
-
 }
 
-
 pub fn may_use_unstable_feature<'a, I: Interner, Infcx>(
     infcx: &'a Infcx,
     param_env: I::ParamEnv,
     symbol: I::Symbol,
-) -> bool 
-where Infcx: InferCtxtLike<Interner = I>
+) -> bool
+where
+    Infcx: InferCtxtLike<Interner = I>,
 {
     // Iterate through all goals in param_env to find the one that has the same symbol.
     for pred in param_env.caller_bounds().iter() {