diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-02-24 11:15:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-24 11:15:31 +0100 |
| commit | d73aa67208447dcc38c01bb01b513eccf3dfc3d2 (patch) | |
| tree | 2785c453b7b0e5e56cdb39eb72a60851ed120d09 /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 331044627a58f28d96c2393b52b4019f2729c216 (diff) | |
| parent | 9e41c4b682f625ae7860255c2d17790f5d9f324a (diff) | |
| download | rust-d73aa67208447dcc38c01bb01b513eccf3dfc3d2.tar.gz rust-d73aa67208447dcc38c01bb01b513eccf3dfc3d2.zip | |
Rollup merge of #69385 - ridiculousfish:relax_get_unchecked, r=nagisa
Relax str::get_unchecked precondition to permit empty slicing Prior to this commit, `str` documented that `get_unchecked` had the precondition that "`begin` must come before `end`". This would appear to prohibit empty slices (i.e. begin == end). In practice, get_unchecked is called often with empty slices. Let's relax the precondition so as to allow them.
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions