Struct rustc_typeck::middle::traits::VtableImplDataExperimental

pub struct VtableImplData<'tcx, N> {
    pub impl_def_id: DefId,
    pub substs: Substs<'tcx>,
    pub nested: VecPerParamSpace<N>,
}

Identifies a particular impl in the source, along with a set of substitutions from the impl's type/lifetime parameters. The nested vector corresponds to the nested obligations attached to the impl's type parameters.

The type parameter N indicates the type used for "nested obligations" that are required by the impl. During type check, this is Obligation, as one might expect. During trans, however, this is (), because trans only requires a shallow resolution of an impl, and nested obligations are satisfied later.

Fields

impl_def_id
substs
nested

Methods

impl<'tcx, N> VtableImplData<'tcx, N>

fn iter_nested(&self) -> Iter<N>

fn map_nested<M, F>(&self, op: F) -> VtableImplData<'tcx, M>

fn map_move_nested<M, F>(self, op: F) -> VtableImplData<'tcx, M>

Trait Implementations

impl<'tcx, N> Show for VtableImplData<'tcx, N>

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

impl<'tcx, N: Repr<'tcx>> Repr<'tcx> for VtableImplData<'tcx, N>

fn repr(&self, tcx: &ctxt<'tcx>) -> String

impl<'tcx, N: TypeFoldable<'tcx>> TypeFoldable<'tcx> for VtableImplData<'tcx, N>

fn fold_with<F: TypeFolder<'tcx>>(&self, folder: &mut F) -> VtableImplData<'tcx, N>

Derived Implementations

impl<'tcx, N: Clone> Clone for VtableImplData<'tcx, N>

fn clone(&self) -> VtableImplData<'tcx, N>

fn clone_from(&mut self, &VtableImplData<'tcx, N>)