{"ast_node_type":"struct","tokens":[{"end":46,"kind":"keyword","start":0,"text":"pub(crate)"}]}
pub(crate) struct TypeRelating<'infcx, 'tcx> {
/// Enforce that `a` is equal to or a subtype of `b`.
    infcx: &'infcx InferCtxt<'tcx>,