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/traits/solve | |
| parent | f5438d658ff1059fd0626ce48900b7c3e007312a (diff) | |
cleanup imports
Diffstat (limited to 'compiler/rustc_middle/src/traits/solve')
| -rw-r--r-- | compiler/rustc_middle/src/traits/solve/inspect.rs | 8 |
1 files changed, 6 insertions, 2 deletions
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 |
