pub(crate) trait QueryContext { type Def: Def; type Ref: Ref; }
Context necessary to answer the question “Are these types transmutable?”.