rustc_transmute::maybe_transmutable::query_context

Trait QueryContext

pub(crate) trait QueryContext {
    type Def: Def;
    type Region: Region;
    type Type: Type;
}

Expand description

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

Required Associated Types§

type Def: Def

type Region: Region

type Type: Type

Implementations on Foreign Types§

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

type Def = Def<'tcx>

type Region = Region<'tcx>

type Type = Ty<'tcx>

Implementors§