diff options
| author | pierwill <pierwill@users.noreply.github.com> | 2020-12-19 14:08:41 -0800 |
|---|---|---|
| committer | pierwill <pierwill@users.noreply.github.com> | 2020-12-19 14:08:41 -0800 |
| commit | 52b717f8264baf1044a001035d20c77f545b6abf (patch) | |
| tree | d4f96acc37c96904eb3402fdfd8229ffc7894ba6 | |
| parent | f74583445702e2e27ec4415376f2c540a83d7ded (diff) | |
| download | rust-52b717f8264baf1044a001035d20c77f545b6abf.tar.gz rust-52b717f8264baf1044a001035d20c77f545b6abf.zip | |
Edit rustc_middle::lint::LintSource docs
Edit punctuation in doc comment for rustc_middle::lint::LintSource::CommandLine.
| -rw-r--r-- | compiler/rustc_middle/src/lint.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_middle/src/lint.rs b/compiler/rustc_middle/src/lint.rs index a61d37cc90e..0724d503407 100644 --- a/compiler/rustc_middle/src/lint.rs +++ b/compiler/rustc_middle/src/lint.rs @@ -22,8 +22,8 @@ pub enum LintSource { Node(Symbol, Span, Option<Symbol> /* RFC 2383 reason */), /// Lint level was set by a command-line flag. - /// The provided `Level` is the level specified on the command line - - /// the actual level may be lower due to `--cap-lints` + /// The provided `Level` is the level specified on the command line. + /// (The actual level may be lower due to `--cap-lints`.) CommandLine(Symbol, Level), } |