pub(crate) trait QueryContext {
    type Def: Def;
    type Ref: Ref;
}
Expand description

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

Required Associated Types§

Implementations on Foreign Types§

source§

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

source§

type Def = Def<'tcx>

source§

type Ref = Ref<'tcx>

Implementors§