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