Remove unused UnitResult
type.
This commit is contained in:
parent
5486d72e77
commit
5c015eed47
1 changed files with 0 additions and 2 deletions
|
@ -50,7 +50,6 @@ use snapshot::undo_log::InferCtxtUndoLogs;
|
||||||
use tracing::{debug, instrument};
|
use tracing::{debug, instrument};
|
||||||
use type_variable::TypeVariableOrigin;
|
use type_variable::TypeVariableOrigin;
|
||||||
|
|
||||||
use crate::infer::relate::RelateResult;
|
|
||||||
use crate::traits::{self, ObligationCause, ObligationInspector, PredicateObligation, TraitEngine};
|
use crate::traits::{self, ObligationCause, ObligationInspector, PredicateObligation, TraitEngine};
|
||||||
|
|
||||||
pub mod at;
|
pub mod at;
|
||||||
|
@ -76,7 +75,6 @@ pub struct InferOk<'tcx, T> {
|
||||||
}
|
}
|
||||||
pub type InferResult<'tcx, T> = Result<InferOk<'tcx, T>, TypeError<'tcx>>;
|
pub type InferResult<'tcx, T> = Result<InferOk<'tcx, T>, TypeError<'tcx>>;
|
||||||
|
|
||||||
pub type UnitResult<'tcx> = RelateResult<'tcx, ()>; // "unify result"
|
|
||||||
pub type FixupResult<T> = Result<T, FixupError>; // "fixup result"
|
pub type FixupResult<T> = Result<T, FixupError>; // "fixup result"
|
||||||
|
|
||||||
pub(crate) type UnificationTable<'a, 'tcx, T> = ut::UnificationTable<
|
pub(crate) type UnificationTable<'a, 'tcx, T> = ut::UnificationTable<
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue