Do you have a reference to the precedent?
I’m wondering when the error gets thrown, will it still return the result that fall within the legal key space?
For example, say, legal key space is [m, x); the begin key selector’s base key is b; the end key is n. Will the precedent code still return the result in [m, n)?
The proposal here seems allows the result in [m, n) to return.
@zjuLcg Does the proposal throw the error special_keys_cross_module_read in the above example?