Auto merge of #131191 - nnethercote:lattice_op, r=lcnr

Merge `glb` and `lub` modules

Tons of code is duplicated across them, and it's easy to factor that out.

r? `@lcnr`
This commit is contained in:
bors 2024-10-04 01:20:08 +00:00
commit a8d74b67f2

Diff content is not available