[−][src]Enum rustc::traits::ObligationCauseCode

pub enum ObligationCauseCode<'tcx> {
    MiscObligation,
    SliceOrArrayElem,
    TupleElem,
    ProjectionWf(ProjectionTy<'tcx>),
    ItemObligation(DefId),
    ReferenceOutlivesReferent(Ty<'tcx>),
    ObjectTypeBound(Ty<'tcx>, Region<'tcx>),
    ObjectCastObligation(Ty<'tcx>),
    AssignmentLhsSized,
    TupleInitializerSized,
    StructInitializerSized,
    VariableType(NodeId),
    SizedArgumentType,
    SizedReturnType,
    SizedYieldType,
    RepeatVec,
    FieldSized {
        adt_kind: AdtKind,
        last: bool,
    },
    ConstSized,
    SharedStatic,
    BuiltinDerivedObligation(DerivedObligationCause<'tcx>),
    ImplDerivedObligation(DerivedObligationCause<'tcx>),
    CompareImplMethodObligation {
        item_name: Name,
        impl_item_def_id: DefId,
        trait_item_def_id: DefId,
    },
    ExprAssignable,
    MatchExpressionArm {
        arm_span: Span,
        source: MatchSource,
    },
    IfExpression,
    IfExpressionWithNoElse,
    MainFunctionType,
    StartFunctionType,
    IntrinsicType,
    MethodReceiver,
    ReturnNoExpression,
    ReturnType(NodeId),
    BlockTailExpression(NodeId),
    TrivialBound,
}

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Variants

MiscObligation

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Not well classified or should be obvious from span.

SliceOrArrayElem

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

A slice or array is WF only if T: Sized

TupleElem

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

A tuple is WF only if its middle elements are Sized

ProjectionWf(ProjectionTy<'tcx>)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

This is the trait reference from the given projection

ItemObligation(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

In an impl of trait X for type Y, type Y must also implement all supertraits of X.

ReferenceOutlivesReferent(Ty<'tcx>)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

A type like &'a T is WF only if T: 'a.

ObjectTypeBound(Ty<'tcx>, Region<'tcx>)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

A type like Box<Foo<'a> + 'b> is WF only if 'b: 'a.

ObjectCastObligation(Ty<'tcx>)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Obligation incurred due to an object cast.

AssignmentLhsSized

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

L = X implies that L is Sized

TupleInitializerSized

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

(x1, .., xn) must be Sized

StructInitializerSized

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

S { ... } must be Sized

VariableType(NodeId)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Type of each variable must be Sized

SizedArgumentType

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Argument type must be Sized

SizedReturnType

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Return type must be Sized

SizedYieldType

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Yield type must be Sized

RepeatVec

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

[T,..n] --> T must be Copy

FieldSized

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Types of fields (other than the last, except for packed structs) in a struct must be sized.

Fields of `FieldSized`

`adt_kind: AdtKind`	🔬 This is a nightly-only experimental API. (`rustc_private`) this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via `Cargo.toml` instead?
`last: bool`	🔬 This is a nightly-only experimental API. (`rustc_private`) this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via `Cargo.toml` instead?

ConstSized

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Constant expressions must be sized.

SharedStatic

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

static items must have Sync type

BuiltinDerivedObligation(DerivedObligationCause<'tcx>)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

ImplDerivedObligation(DerivedObligationCause<'tcx>)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

CompareImplMethodObligation

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

error derived when matching traits/impls; see ObligationCause for more details

Fields of `CompareImplMethodObligation`

`item_name: Name`	🔬 This is a nightly-only experimental API. (`rustc_private`) this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via `Cargo.toml` instead?
`impl_item_def_id: DefId`	🔬 This is a nightly-only experimental API. (`rustc_private`) this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via `Cargo.toml` instead?
`trait_item_def_id: DefId`	🔬 This is a nightly-only experimental API. (`rustc_private`) this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via `Cargo.toml` instead?

ExprAssignable

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Checking that this expression can be assigned where it needs to be

MatchExpressionArm

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Computing common supertype in the arms of a match expression

Fields of `MatchExpressionArm`

`arm_span: Span`	🔬 This is a nightly-only experimental API. (`rustc_private`) this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via `Cargo.toml` instead?
`source: MatchSource`	🔬 This is a nightly-only experimental API. (`rustc_private`) this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via `Cargo.toml` instead?

IfExpression

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Computing common supertype in an if expression

IfExpressionWithNoElse

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Computing common supertype of an if expression with no else counter-part

MainFunctionType

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

main has wrong type

StartFunctionType

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

start has wrong type

IntrinsicType

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

intrinsic has wrong type

MethodReceiver

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

method receiver

ReturnNoExpression

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

return with no expression

ReturnType(NodeId)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

return with an expression

BlockTailExpression(NodeId)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Block implicit return

TrivialBound

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

#[feature(trivial_bounds)] is not enabled

Trait Implementations

`impl<'a, 'tcx> Lift<'tcx> for ObligationCauseCode<'a>`
[src]

`type Lifted = ObligationCauseCode<'tcx>`

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

`fn lift_to_tcx<'b, 'gcx>( &self, tcx: TyCtxt<'b, 'gcx, 'tcx> ) -> Option<Self::Lifted>`
[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

`impl<'tcx> Clone for ObligationCauseCode<'tcx>`
[src]

`fn clone(&self) -> ObligationCauseCode<'tcx>`
[src]

Returns a copy of the value. Read more

`fn clone_from(&mut self, source: &Self)`
1.0.0
[src]

Performs copy-assignment from source. Read more

`impl<'tcx> Debug for ObligationCauseCode<'tcx>`
[src]

`fn fmt(&self, f: &mut Formatter) -> Result`
[src]

Formats the value using the given formatter. Read more

`impl<'tcx> PartialEq for ObligationCauseCode<'tcx>`
[src]

`fn eq(&self, other: &ObligationCauseCode<'tcx>) -> bool`
[src]

This method tests for self and other values to be equal, and is used by ==. Read more

`fn ne(&self, other: &ObligationCauseCode<'tcx>) -> bool`
[src]

This method tests for !=.

`impl<'tcx> Eq for ObligationCauseCode<'tcx>`
[src]

`fn assert_receiver_is_total_eq(&self)`
[src]

`impl<'tcx> Hash for ObligationCauseCode<'tcx>`
[src]

`fn hash<H: Hasher>(&self, state: &mut H)`
[src]

Feeds this value into the given [Hasher]. Read more

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

Feeds a slice of this type into the given [Hasher]. Read more

Auto Trait Implementations

`impl<'tcx> !Send for ObligationCauseCode<'tcx>`

`impl<'tcx> !Sync for ObligationCauseCode<'tcx>`

Blanket Implementations

`impl<T> MaybeResult for T`
[src]

`fn from_ok(T) -> T`
[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

`fn map_same<F>(Self, F) -> T where F: FnOnce(T) -> T,`
[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

`impl<'a, T> Captures for T where T: ?Sized,`
[src]

`impl<T> ToOwned for T where T: Clone,`
[src]

`type Owned = T`

`fn to_owned(&self) -> T`
[src]

Creates owned data from borrowed data, usually by cloning. Read more

`fn clone_into(&self, target: &mut T)`
[src]

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

`impl<T> From for T`
[src]

`fn from(t: T) -> T`
[src]

Performs the conversion.

`impl<T, U> Into for T where U: From<T>,`
[src]

`fn into(self) -> U`
[src]

Performs the conversion.

`impl<T, U> TryFrom for T where T: From,`
[src]

`type Error = !`

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

`fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`
[src]

🔬 This is a nightly-only experimental API. (try_from)

Performs the conversion.

`impl<T> Borrow for T where T: ?Sized,`
[src]

ⓘImportant traits for &'a mut R
Important traits for &'a mut R
`impl<'a, R> Read for &'a mut R where R: Read + ?Sized, impl<'a, W> Write for &'a mut W where W: Write + ?Sized, impl<'a, I> Iterator for &'a mut I where I: Iterator + ?Sized, type Item = ::Item;`
`fn borrow(&self) -> &T`
[src]

Immutably borrows from an owned value. Read more

`impl<T, U> TryInto for T where U: TryFrom<T>,`
[src]

`type Error = >::Error`

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

`fn try_into(self) -> Result<U, >::Error>`
[src]

🔬 This is a nightly-only experimental API. (try_from)

Performs the conversion.

`impl<T> BorrowMut for T where T: ?Sized,`
[src]

ⓘImportant traits for &'a mut R
Important traits for &'a mut R
`impl<'a, R> Read for &'a mut R where R: Read + ?Sized, impl<'a, W> Write for &'a mut W where W: Write + ?Sized, impl<'a, I> Iterator for &'a mut I where I: Iterator + ?Sized, type Item = ::Item;`
`fn borrow_mut(&mut self) -> &mut T`
[src]

Mutably borrows from an owned value. Read more

`impl<T> Any for T where T: 'static + ?Sized,`
[src]

`fn get_type_id(&self) -> TypeId`
[src]

🔬 This is a nightly-only experimental API. (get_type_id)

this method will likely be replaced by an associated static

Gets the TypeId of self. Read more

`impl<E> SpecializationError for E`
[src]

`fn not_found<S, T>(trait_name: &'static str, method_name: &'static str) -> E where T: ?Sized,`
[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Create an error for a missing method specialization. Defaults to panicking with type, trait & method names. S is the encoder/decoder state type, T is the type being encoded/decoded, and the arguments are the names of the trait and method that should've been overridden. Read more

[−][src]Enum rustc::traits::ObligationCauseCode

Variants

Fields of FieldSized

Fields of CompareImplMethodObligation

Fields of MatchExpressionArm

Trait Implementations

impl<'a, 'tcx> Lift<'tcx> for ObligationCauseCode<'a>[src]

type Lifted = ObligationCauseCode<'tcx>

fn lift_to_tcx<'b, 'gcx>( &self, tcx: TyCtxt<'b, 'gcx, 'tcx>) -> Option<Self::Lifted>[src]

impl<'tcx> Clone for ObligationCauseCode<'tcx>[src]

fn clone(&self) -> ObligationCauseCode<'tcx>[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

impl<'tcx> Debug for ObligationCauseCode<'tcx>[src]

fn fmt(&self, f: &mut Formatter) -> Result[src]

impl<'tcx> PartialEq for ObligationCauseCode<'tcx>[src]

fn eq(&self, other: &ObligationCauseCode<'tcx>) -> bool[src]

fn ne(&self, other: &ObligationCauseCode<'tcx>) -> bool[src]

impl<'tcx> Eq for ObligationCauseCode<'tcx>[src]

fn assert_receiver_is_total_eq(&self)[src]

impl<'tcx> Hash for ObligationCauseCode<'tcx>[src]

fn hash<__H: Hasher>(&self, state: &mut __H)[src]

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

Auto Trait Implementations

impl<'tcx> !Send for ObligationCauseCode<'tcx>

impl<'tcx> !Sync for ObligationCauseCode<'tcx>

Blanket Implementations

impl<T> MaybeResult for T[src]

fn from_ok(T) -> T[src]

fn map_same<F>(Self, F) -> T where F: FnOnce(T) -> T, [src]

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

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

fn to_owned(&self) -> T[src]

fn clone_into(&self, target: &mut T)[src]

impl<T> From for T[src]

fn from(t: T) -> T[src]

impl<T, U> Into for T where U: From<T>, [src]

fn into(self) -> U[src]

impl<T, U> TryFrom for T where T: From<U>, [src]

type Error = !

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

impl<T> Borrow for T where T: ?Sized, [src]

ⓘImportant traits for &'a mut RImportant traits for &'a mut Rimpl<'a, R> Read for &'a mut R where R: Read + ?Sized, impl<'a, W> Write for &'a mut W where W: Write + ?Sized, impl<'a, I> Iterator for &'a mut I where I: Iterator + ?Sized, type Item = <I as Iterator>::Item;fn borrow(&self) -> &T[src]

Important traits for &'a mut R

impl<T, U> TryInto for T where U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

impl<T> BorrowMut for T where T: ?Sized, [src]

Important traits for &'a mut R

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

fn get_type_id(&self) -> TypeId[src]

impl<E> SpecializationError for E[src]

fn not_found<S, T>(trait_name: &'static str, method_name: &'static str) -> E where T: ?Sized, [src]

impl<T> Erased for T[src]

impl<T> Send for T where T: ?Sized, [src]

impl<T> Sync for T where T: ?Sized, [src]

impl<T> Erased for T

Fields of `FieldSized`

Fields of `CompareImplMethodObligation`

Fields of `MatchExpressionArm`

`impl<'a, 'tcx> Lift<'tcx> for ObligationCauseCode<'a>`
[src]

`type Lifted = ObligationCauseCode<'tcx>`

`fn lift_to_tcx<'b, 'gcx>( &self, tcx: TyCtxt<'b, 'gcx, 'tcx> ) -> Option<Self::Lifted>`
[src]

`impl<'tcx> Clone for ObligationCauseCode<'tcx>`
[src]

`fn clone(&self) -> ObligationCauseCode<'tcx>`
[src]

`fn clone_from(&mut self, source: &Self)`
1.0.0
[src]

`impl<'tcx> Debug for ObligationCauseCode<'tcx>`
[src]

`fn fmt(&self, f: &mut Formatter) -> Result`
[src]

`impl<'tcx> PartialEq for ObligationCauseCode<'tcx>`
[src]

`fn eq(&self, other: &ObligationCauseCode<'tcx>) -> bool`
[src]

`fn ne(&self, other: &ObligationCauseCode<'tcx>) -> bool`
[src]

`impl<'tcx> Eq for ObligationCauseCode<'tcx>`
[src]

`fn assert_receiver_is_total_eq(&self)`
[src]

`impl<'tcx> Hash for ObligationCauseCode<'tcx>`
[src]

`fn hash<H: Hasher>(&self, state: &mut H)`
[src]

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

`impl<'tcx> !Send for ObligationCauseCode<'tcx>`

`impl<'tcx> !Sync for ObligationCauseCode<'tcx>`

`impl<T> MaybeResult for T`
[src]

`fn from_ok(T) -> T`
[src]

`fn map_same<F>(Self, F) -> T where F: FnOnce(T) -> T,`
[src]

`impl<'a, T> Captures for T where T: ?Sized,`
[src]

`impl<T> ToOwned for T where T: Clone,`
[src]

`type Owned = T`

`fn to_owned(&self) -> T`
[src]

`fn clone_into(&self, target: &mut T)`
[src]

`impl<T> From for T`
[src]

`fn from(t: T) -> T`
[src]

`impl<T, U> Into for T where U: From<T>,`
[src]

`fn into(self) -> U`
[src]

`impl<T, U> TryFrom for T where T: From<U>,`
[src]

`type Error = !`

`fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`
[src]

`impl<T> Borrow for T where T: ?Sized,`
[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,`
[src]

`type Error = <U as TryFrom<T>>::Error`

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`
[src]

`impl<T> BorrowMut for T where T: ?Sized,`
[src]

`impl<T> Any for T where T: 'static + ?Sized,`
[src]

`fn get_type_id(&self) -> TypeId`
[src]

`impl<E> SpecializationError for E`
[src]

`fn not_found<S, T>(trait_name: &'static str, method_name: &'static str) -> E where T: ?Sized,`
[src]

`impl<T> Erased for T`
[src]

`impl<T> Send for T where T: ?Sized,`
[src]

`impl<T> Sync for T where T: ?Sized,`
[src]

`impl<T> Erased for T`