This has already been mentioned but I think it's worth repeating: If this failable subscript should ever be added to the stdlib, the label cannot be "safe" or "checked", because that would be misleading and confusing, ie:
I have never felt the need for this failable subscript myself, and have no strong opinion on whether it should be added or not.