Preconditions.checkIndex() is intrinsified so C2 recognizes it as a range check and optimizes it accordingly. It's not the case of checkFromToIndex() and checkFromIndexSize(). Should they be intrinsified so range check elimination also applies to them?