about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2023-04-23 20:06:32 +0200
committerGitHub <noreply@github.com>2023-04-23 20:06:32 +0200
commit96acbd8e287b9e03d2255334e0747253dace83b1 (patch)
treefe2ed2cc6caaf9f0e296e220c8ef308515323bdf
parent12a539f484f5bd29e7fcdccbecd53d9e3aeb04cf (diff)
parent0cc1b86a3a7ca831f31b64b0f96bb25238113221 (diff)
downloadrust-96acbd8e287b9e03d2255334e0747253dace83b1.tar.gz
rust-96acbd8e287b9e03d2255334e0747253dace83b1.zip
Rollup merge of #110689 - Spartan2909:fix-grammar, r=JohnTitor
Fix grammar in core::hint::unreachable_unchecked() docs

Fixes a minor grammar error in the docs for core::hint::unreachable_unchecked()
-rw-r--r--library/core/src/hint.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/library/core/src/hint.rs b/library/core/src/hint.rs
index a205565773a..f6698589ccd 100644
--- a/library/core/src/hint.rs
+++ b/library/core/src/hint.rs
@@ -73,8 +73,8 @@ use crate::intrinsics;
 /// ```
 ///
 /// While using `unreachable_unchecked()` is perfectly sound in the following
-/// example, the compiler is able to prove that a division by zero is not
-/// possible. Benchmarking reveals that `unreachable_unchecked()` provides
+/// example, as the compiler is able to prove that a division by zero is not
+/// possible, benchmarking reveals that `unreachable_unchecked()` provides
 /// no benefit over using [`unreachable!`], while the latter does not introduce
 /// the possibility of Undefined Behavior.
 ///