Fix accidentally deleted part

This commit is contained in:
patrick-gu 2021-09-03 17:13:42 -07:00 committed by GitHub
parent 529abb2fc0
commit 7c32b58df2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -18,7 +18,7 @@ impl bool {
if self { Some(t) } else { None }
}
/// Returns `Some` if the `bool` is [`true`](keyword.true.html), or `None` otherwise.
/// Returns `Some(f())` if the `bool` is [`true`](keyword.true.html), or `None` otherwise.
///
/// # Examples
///