diff options
| author | lcnr <rust@lcnr.de> | 2023-06-20 12:19:40 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2023-06-20 12:41:00 +0200 |
| commit | f7472aa69ed0589d57ca08da690e6bb32f351eb8 (patch) | |
| tree | a093012bb865841f77834208e0466f8c2821a4cb /compiler/rustc_middle/src | |
| parent | f5438d658ff1059fd0626ce48900b7c3e007312a (diff) | |
cleanup imports
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/traits/mod.rs | 6 | ||||
| -rw-r--r-- | compiler/rustc_middle/src/traits/solve.rs | 6 | ||||
| -rw-r--r-- | compiler/rustc_middle/src/traits/solve/inspect.rs | 8 |
3 files changed, 12 insertions, 8 deletions
diff --git a/compiler/rustc_middle/src/traits/mod.rs b/compiler/rustc_middle/src/traits/mod.rs index 73959038582..f0380204970 100644 --- a/compiler/rustc_middle/src/traits/mod.rs +++ b/compiler/rustc_middle/src/traits/mod.rs @@ -991,9 +991,3 @@ pub enum DefiningAnchor { /// Used to catch type mismatch errors when handling opaque types. Error, } - -#[derive(Debug, Copy, Clone, PartialEq, Eq, Hash, HashStable)] -pub enum IsNormalizesToHack { - Yes, - No, -} diff --git a/compiler/rustc_middle/src/traits/solve.rs b/compiler/rustc_middle/src/traits/solve.rs index af482a88960..73b332fd8ec 100644 --- a/compiler/rustc_middle/src/traits/solve.rs +++ b/compiler/rustc_middle/src/traits/solve.rs @@ -228,3 +228,9 @@ impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for PredefinedOpaques<'tcx> { self.opaque_types.visit_with(visitor) } } + +#[derive(Debug, Copy, Clone, PartialEq, Eq, Hash, HashStable)] +pub enum IsNormalizesToHack { + Yes, + No, +} diff --git a/compiler/rustc_middle/src/traits/solve/inspect.rs b/compiler/rustc_middle/src/traits/solve/inspect.rs index 3cdf1ebbd05..527afa005b9 100644 --- a/compiler/rustc_middle/src/traits/solve/inspect.rs +++ b/compiler/rustc_middle/src/traits/solve/inspect.rs @@ -1,5 +1,7 @@ -use super::{CanonicalInput, Certainty, Goal, NoSolution, QueryInput, QueryResult}; -use crate::{traits::IsNormalizesToHack, ty}; +use super::{ + CanonicalInput, Certainty, Goal, IsNormalizesToHack, NoSolution, QueryInput, QueryResult, +}; +use crate::ty; use format::ProofTreeFormatter; use std::fmt::{Debug, Write}; @@ -22,6 +24,7 @@ pub struct GoalEvaluation<'tcx> { pub result: QueryResult<'tcx>, } + #[derive(Eq, PartialEq, Hash, HashStable)] pub enum GoalEvaluationKind<'tcx> { CacheHit(CacheHit), @@ -65,6 +68,7 @@ pub struct GoalCandidate<'tcx> { pub candidates: Vec<GoalCandidate<'tcx>>, pub kind: CandidateKind<'tcx>, } + #[derive(Eq, PartialEq, Debug, Hash, HashStable)] pub enum CandidateKind<'tcx> { /// Probe entered when normalizing the self ty during candidate assembly |
