Trait QueryContext 

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

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

Required Associated Types

type Def: Def

type Region: Region

type Type: Type

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

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

type Def = Def<'tcx>

type Region = Region<'tcx>

type Type = Ty<'tcx>

Implementors