Fix an incorrect assertion in lanes.require()