Enum rustc_infer::traits::ImplSource[−][src]

pub enum ImplSource<'tcx, N> {
Show 13 variants
    UserDefined(ImplSourceUserDefinedData<'tcx, N>),
    AutoImpl(ImplSourceAutoImplData<N>),
    Param(Vec<N, Global>, BoundConstness),
    Object(ImplSourceObjectData<'tcx, N>),
    Builtin(ImplSourceBuiltinData<N>),
    TraitUpcasting(ImplSourceTraitUpcastingData<'tcx, N>),
    Closure(ImplSourceClosureData<'tcx, N>),
    FnPointer(ImplSourceFnPointerData<'tcx, N>),
    DiscriminantKind(ImplSourceDiscriminantKindData),
    Pointee(ImplSourcePointeeData),
    Generator(ImplSourceGeneratorData<'tcx, N>),
    TraitAlias(ImplSourceTraitAliasData<'tcx, N>),
    ConstDrop(ImplSourceConstDropData),
}

Expand description

Given the successful resolution of an obligation, the ImplSource indicates where the impl comes from.

For example, the obligation may be satisfied by a specific impl (case A), or it may be relative to some bound that is in scope (case B).

impl<T:Clone> Clone<T> for Option<T> { ... } // Impl_1
impl<T:Clone> Clone<T> for Box<T> { ... }    // Impl_2
impl Clone for i32 { ... }                   // Impl_3

fn foo<T: Clone>(concrete: Option<Box<i32>>, param: T, mixed: Option<T>) {
    // Case A: ImplSource points at a specific impl. Only possible when
    // type is concretely known. If the impl itself has bounded
    // type parameters, ImplSource will carry resolutions for those as well:
    concrete.clone(); // ImpleSource(Impl_1, [ImplSource(Impl_2, [ImplSource(Impl_3)])])

    // Case A: ImplSource points at a specific impl. Only possible when
    // type is concretely known. If the impl itself has bounded
    // type parameters, ImplSource will carry resolutions for those as well:
    concrete.clone(); // ImplSource(Impl_1, [ImplSource(Impl_2, [ImplSource(Impl_3)])])

    // Case B: ImplSource must be provided by caller. This applies when
    // type is a type parameter.
    param.clone();    // ImplSource::Param

    // Case C: A mix of cases A and B.
    mixed.clone();    // ImplSource(Impl_1, [ImplSource::Param])
}

The type parameter `N`

See explanation on ImplSourceUserDefinedData.

Variants

UserDefined(ImplSourceUserDefinedData<'tcx, N>)

ImplSource identifying a particular impl.

Tuple Fields of UserDefined

0: ImplSourceUserDefinedData<'tcx, N>

AutoImpl(ImplSourceAutoImplData<N>)

ImplSource for auto trait implementations. This carries the information and nested obligations with regards to an auto implementation for a trait Trait. The nested obligations ensure the trait implementation holds for all the constituent types.

Tuple Fields of AutoImpl

0: ImplSourceAutoImplData<N>

Param(Vec<N, Global>, BoundConstness)

Successful resolution to an obligation provided by the caller for some type parameter. The Vec<N> represents the obligations incurred from normalizing the where-clause (if any).

Tuple Fields of Param

0: Vec<N, Global>1: BoundConstness

Object(ImplSourceObjectData<'tcx, N>)

Virtual calls through an object.

Tuple Fields of Object

0: ImplSourceObjectData<'tcx, N>

Builtin(ImplSourceBuiltinData<N>)

Successful resolution for a builtin trait.

Tuple Fields of Builtin

0: ImplSourceBuiltinData<N>

TraitUpcasting(ImplSourceTraitUpcastingData<'tcx, N>)

ImplSource for trait upcasting coercion

Tuple Fields of TraitUpcasting

0: ImplSourceTraitUpcastingData<'tcx, N>

Closure(ImplSourceClosureData<'tcx, N>)

ImplSource automatically generated for a closure. The DefId is the ID of the closure expression. This is an ImplSource::UserDefined in spirit, but the impl is generated by the compiler and does not appear in the source.

Tuple Fields of Closure

0: ImplSourceClosureData<'tcx, N>

FnPointer(ImplSourceFnPointerData<'tcx, N>)

Same as above, but for a function pointer type with the given signature.

Tuple Fields of FnPointer

0: ImplSourceFnPointerData<'tcx, N>

DiscriminantKind(ImplSourceDiscriminantKindData)

ImplSource for a builtin DeterminantKind trait implementation.

Tuple Fields of DiscriminantKind

0: ImplSourceDiscriminantKindData

Pointee(ImplSourcePointeeData)

ImplSource for a builtin Pointee trait implementation.

Tuple Fields of Pointee

0: ImplSourcePointeeData

Generator(ImplSourceGeneratorData<'tcx, N>)

ImplSource automatically generated for a generator.

Tuple Fields of Generator

0: ImplSourceGeneratorData<'tcx, N>

TraitAlias(ImplSourceTraitAliasData<'tcx, N>)

ImplSource for a trait alias.

Tuple Fields of TraitAlias

0: ImplSourceTraitAliasData<'tcx, N>

ConstDrop(ImplSourceConstDropData)

ImplSource for a const Drop implementation.

Tuple Fields of ConstDrop

0: ImplSourceConstDropData

Auto Trait Implementations

impl<'tcx, N> !RefUnwindSafe for ImplSource<'tcx, N>

impl<'tcx, N> !Send for ImplSource<'tcx, N>

Enum rustc_infer::traits::ImplSource[−][src]

The type parameter N

Variants

Tuple Fields of UserDefined

Tuple Fields of AutoImpl

Tuple Fields of Param

Tuple Fields of Object

Tuple Fields of Builtin

Tuple Fields of TraitUpcasting

Tuple Fields of Closure

Tuple Fields of FnPointer

Tuple Fields of DiscriminantKind

Tuple Fields of Pointee

Tuple Fields of Generator

Tuple Fields of TraitAlias

Tuple Fields of ConstDrop

Auto Trait Implementations

impl<'tcx, N> !RefUnwindSafe for ImplSource<'tcx, N>

impl<'tcx, N> !Send for ImplSource<'tcx, N>

impl<'tcx, N> !Sync for ImplSource<'tcx, N>

impl<'tcx, N> Unpin for ImplSource<'tcx, N> where N: Unpin,

impl<'tcx, N> !UnwindSafe for ImplSource<'tcx, N>

Blanket Implementations

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

pub fn type_id(&self) -> TypeId

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

pub fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

pub fn from(t: T) -> T

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

pub fn into(self) -> U

impl<'tcx, T> Subst<'tcx> for T where T: TypeFoldable<'tcx>,

pub fn subst_spanned( self, tcx: TyCtxt<'tcx>, substs: &[GenericArg<'tcx>], span: Option<Span>) -> T

fn subst(self, tcx: TyCtxt<'tcx>, substs: &[GenericArg<'tcx>]) -> Self

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

type Owned = T

pub fn to_owned(&self) -> T

pub fn clone_into(&self, target: &mut T)

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

type Error = Infallible

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

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

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

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

impl<T> WithConstness for T

fn with_constness(self, constness: BoundConstness) -> ConstnessAnd<Self>

fn with_const_if_const(self) -> ConstnessAnd<Self>

fn without_const(self) -> ConstnessAnd<Self>

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

Layout

The type parameter `N`

impl<'tcx, N> Unpin for ImplSource<'tcx, N> where
N: Unpin,

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

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

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

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

impl<'tcx, T> Subst<'tcx> for T where
T: TypeFoldable<'tcx>,

pub fn subst_spanned(
self,
tcx: TyCtxt<'tcx>,
substs: &[GenericArg<'tcx>],
span: Option<Span>
) -> T

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<'a, T> Captures<'a> for T where
T: ?Sized,