{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"impl<'infcx,"}]}
impl<'infcx, 'tcx> LatticeOp<'infcx, 'tcx> {
    // Relates the type `v` to `a` and `b` such that `v` represents