more consistent use of terminology; trait > syntax

This commit is contained in:
Michael Rutter 2018-10-28 12:31:02 +00:00 committed by GitHub
parent 061a48321c
commit 232a483331
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -569,13 +569,13 @@ declare_clippy_lint! {
/// concise.
///
/// **Known problems:** Not a replacement for error handling: Using either
/// `.unwrap()` or the Index syntax (`[]`) carries the risk of causing a `panic`
/// `.unwrap()` or the Index trait (`[]`) carries the risk of causing a `panic`
/// if the value being accessed is `None`. If the use of `.get().unwrap()` is a
/// temporary placeholder for dealing with the `Option` type, then this does
/// not mitigate the need for error handling. If there is a chance that `.get()`
/// will be `None` in your program, then it is advisable that the `None` case
/// is eventually handled in a future refactor instead of using `.unwrap()`
/// or the Index syntax.
/// is handled in a future refactor instead of using `.unwrap()` or the Index
/// trait.
///
/// **Example:**
/// ```rust