diff options
| author | Camelid <37223377+camelid@users.noreply.github.com> | 2020-08-29 20:35:58 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-29 20:35:58 -0700 |
| commit | fd985e29dd97f053f31a2e282fb59363f6b6db3f (patch) | |
| tree | 2c30d384d04e79d873668cf27ec476777f79e47d /library/std/src/primitive_docs.rs | |
| parent | 4aae7814075ffe94486e2cc04ff5d08351eb8fd3 (diff) | |
| download | rust-fd985e29dd97f053f31a2e282fb59363f6b6db3f.tar.gz rust-fd985e29dd97f053f31a2e282fb59363f6b6db3f.zip | |
cannot have divergence -> cannot diverge
Diffstat (limited to 'library/std/src/primitive_docs.rs')
| -rw-r--r-- | library/std/src/primitive_docs.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/library/std/src/primitive_docs.rs b/library/std/src/primitive_docs.rs index d88a9cbd0ac..a577a0a51c9 100644 --- a/library/std/src/primitive_docs.rs +++ b/library/std/src/primitive_docs.rs @@ -194,9 +194,9 @@ mod prim_bool {} /// # `!` and traits /// /// When writing your own traits, `!` should have an `impl` whenever there is an obvious `impl` -/// which doesn't `panic!`. The reason is that functions returning an `impl Trait` cannot have -/// divergence, i.e., returning `!`, as their only possible code path. As an example, this code -/// doesn't compile: +/// which doesn't `panic!`. The reason is that functions returning an `impl Trait` cannot diverge, +/// i.e., returning `!`, as their only possible code path. As an example, this code doesn't +/// compile: /// /// ```compile_fail /// use core::ops::Add; |
