pub struct ErrorGuaranteed(pub(crate) ());
Expand description
Useful type to use with Result<>
indicate that an error has already
been reported to the user, so no need to continue checking.
The ()
field is necessary: it is non-pub
, which means values of this
type cannot be constructed outside of this crate.
Tuple Fields§
§0: ()
Implementations§
Source§impl ErrorGuaranteed
impl ErrorGuaranteed
Sourcepub fn unchecked_error_guaranteed() -> ErrorGuaranteed
👎Deprecated: should only be used in DiagCtxtInner::emit_diagnostic
pub fn unchecked_error_guaranteed() -> ErrorGuaranteed
DiagCtxtInner::emit_diagnostic
Don’t use this outside of DiagCtxtInner::emit_diagnostic
!
pub fn raise_fatal(self) -> !
Trait Implementations§
Source§impl Clone for ErrorGuaranteed
impl Clone for ErrorGuaranteed
Source§fn clone(&self) -> ErrorGuaranteed
fn clone(&self) -> ErrorGuaranteed
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for ErrorGuaranteed
impl Debug for ErrorGuaranteed
Source§impl<D> Decodable<D> for ErrorGuaranteedwhere
D: Decoder,
impl<D> Decodable<D> for ErrorGuaranteedwhere
D: Decoder,
fn decode(_d: &mut D) -> ErrorGuaranteed
Source§impl EmissionGuarantee for ErrorGuaranteed
impl EmissionGuarantee for ErrorGuaranteed
Source§fn emit_producing_guarantee(diag: Diag<'_, Self>) -> Self::EmitResult
fn emit_producing_guarantee(diag: Diag<'_, Self>) -> Self::EmitResult
Implementation of
Diag::emit
, fully controlled by each impl
of
EmissionGuarantee
, to make it impossible to create a value of
Self::EmitResult
without actually performing the emission.Source§type EmitResult = Self
type EmitResult = Self
This exists so that bugs and fatal errors can both result in
!
(an
abort) when emitted, but have different aborting behaviour.Source§impl Hash for ErrorGuaranteed
impl Hash for ErrorGuaranteed
Source§impl<__CTX> HashStable<__CTX> for ErrorGuaranteedwhere
__CTX: HashStableContext,
impl<__CTX> HashStable<__CTX> for ErrorGuaranteedwhere
__CTX: HashStableContext,
fn hash_stable( &self, __hcx: &mut __CTX, __hasher: &mut StableHasher<SipHasher128>, )
Source§impl Ord for ErrorGuaranteed
impl Ord for ErrorGuaranteed
Source§fn cmp(&self, other: &ErrorGuaranteed) -> Ordering
fn cmp(&self, other: &ErrorGuaranteed) -> Ordering
1.21.0 · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
Source§impl PartialEq for ErrorGuaranteed
impl PartialEq for ErrorGuaranteed
Source§impl PartialOrd for ErrorGuaranteed
impl PartialOrd for ErrorGuaranteed
impl Copy for ErrorGuaranteed
impl Eq for ErrorGuaranteed
impl StructuralPartialEq for ErrorGuaranteed
Auto Trait Implementations§
impl DynSend for ErrorGuaranteed
impl DynSync for ErrorGuaranteed
impl Freeze for ErrorGuaranteed
impl RefUnwindSafe for ErrorGuaranteed
impl Send for ErrorGuaranteed
impl Sync for ErrorGuaranteed
impl Unpin for ErrorGuaranteed
impl UnwindSafe for ErrorGuaranteed
Blanket Implementations§
Source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T
fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
Source§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.Source§impl<T> Filterable for T
impl<T> Filterable for T
Source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
Creates a filterable data provider with the given name for debugging. Read more
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
Source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 0 bytes