Enum rustc_infer::traits::CodegenObligationError

source ·

pub enum CodegenObligationError {
    Ambiguity,
    Unimplemented,
    FulfillmentError,
}

Expand description

These are the error cases for codegen_select_candidate.

Variants§

§

Ambiguity

Ambiguity can happen when monomorphizing during trans expands to some humongous type that never occurred statically – this humongous type can then overflow, leading to an ambiguous result. So report this as an overflow bug, since I believe this is the only case where ambiguity can result.

§

Unimplemented

This can trigger when we probe for the source of a 'static lifetime requirement on a trait object: impl Foo for dyn Trait {} has an implicit 'static bound. This can also trigger when we have a global bound that is not actually satisfied, but was included during typeck due to the trivial_bounds feature.

Enum rustc_infer::traits::CodegenObligationErrorCopy item path

Variants§

Ambiguity

Unimplemented

FulfillmentError

Trait Implementations§

impl Clone for CodegenObligationError

fn clone(&self) -> CodegenObligationError

fn clone_from(&mut self, source: &Self)

impl Debug for CodegenObligationError

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

impl<__D> Decodable<__D> for CodegenObligationErrorwhere __D: SpanDecoder,

fn decode(__decoder: &mut __D) -> CodegenObligationError

impl<__E> Encodable<__E> for CodegenObligationErrorwhere __E: SpanEncoder,

fn encode(&self, __encoder: &mut __E)

impl EraseType for CodegenObligationError

type Result = [u8; 1]

impl Hash for CodegenObligationError

fn hash<__H>(&self, state: &mut __H)where __H: Hasher,

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for CodegenObligationError

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher<SipHasher128>, )

impl Copy for CodegenObligationError

Auto Trait Implementations§

impl DynSend for CodegenObligationError

impl DynSync for CodegenObligationError

impl Freeze for CodegenObligationError

impl RefUnwindSafe for CodegenObligationError

impl Send for CodegenObligationError

impl Sync for CodegenObligationError

impl Unpin for CodegenObligationError

impl UnwindSafe for CodegenObligationError

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'a mut [T]

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'a mut [T]

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

default unsafe fn clone_to_uninit(&self, dst: *mut T)

impl<T> CloneToUninit for Twhere T: Copy,

unsafe fn clone_to_uninit(&self, dst: *mut T)

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<Tcx, T> DepNodeParams<Tcx> for Twhere Tcx: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

default fn fingerprint_style() -> FingerprintStyle

default fn to_fingerprint(&self, tcx: Tcx) -> Fingerprint

default fn to_debug_str(&self, _: Tcx) -> String

default fn recover(_: Tcx, _: &DepNode) -> Option<T>

impl<T> Filterable for T

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> Pointable for T

const ALIGN: usize = _

type Init = T

Enum rustc_infer::traits::CodegenObligationError

impl<D> Decodable<D> for CodegenObligationError
where __D: SpanDecoder,

fn decode(decoder: &mut D) -> CodegenObligationError

impl<E> Encodable<E> for CodegenObligationError
where __E: SpanEncoder,

fn encode(&self, encoder: &mut E)

fn hash<H>(&self, state: &mut H)
where __H: Hasher,

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

impl<'ctx> HashStable<StableHashingContext<'ctx>> for CodegenObligationError

fn hash_stable( &self, hcx: &mut StableHashingContext<'ctx>, __hasher: &mut StableHasher<SipHasher128>, )

impl<T> Any for T
where T: 'static + ?Sized,

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T
where T: Copy,

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T
where T: Copy,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T> CloneToUninit for T
where T: Copy,

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

impl<Tcx, T> DepNodeParams<Tcx> for T
where Tcx: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<'a, T> Captures<'a> for T
where T: ?Sized,

impl<T> ErasedDestructor for T
where T: 'static,

impl<T> MaybeSendSync for T
where T: Send + Sync,