Trait rustc_transmute::maybe_transmutable::query_context::QueryContext

pub(crate) trait QueryContext {
    type Def: Def;
    type Ref: Ref;
    type Scope: Copy;

    // Required method
    fn min_align(&self, reference: Self::Ref) -> usize;
}

Context necessary to answer the question “Are these types transmutable?”.

Required Associated Types

type Def: Def

type Ref: Ref

type Scope: Copy

Required Methods

fn min_align(&self, reference: Self::Ref) -> usize

Implementations on Foreign Types

impl<'tcx> QueryContext for TyCtxt<'tcx>

type Def = Def<'tcx>

type Ref = Ref<'tcx>

type Scope = Ty<'tcx>

fn min_align(&self, reference: Self::Ref) -> usize

Implementors