[impl] intersection with y=const