Function mk_cycle 

fn mk_cycle<'tcx, Q>(query: Q, qcx: Q::Qcx, cycle_error: CycleError) -> Q::Value
where
    Q: QueryDispatcher<'tcx>,