{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"LatticeOpKind::Glb"}]}
            LatticeOpKind::Glb => constraints.lub_regions(self.cx(), origin, a, b),
            // GLB(&'static u8, &'a u8) == &RegionLUB('static, 'a) u8 == &'static u8