diff options
| author | pierwill <pierwill@users.noreply.github.com> | 2020-12-21 14:40:50 -0800 |
|---|---|---|
| committer | pierwill <pierwill@users.noreply.github.com> | 2020-12-21 15:03:00 -0800 |
| commit | d3900d3775c665237b83ea87e01838da9cf0da87 (patch) | |
| tree | 3c52fc5e5c72a564c933d51b24c46c71368954ce | |
| parent | aec3575aa7d6903fbff2140b37b65961836d47dc (diff) | |
| download | rust-d3900d3775c665237b83ea87e01838da9cf0da87.tar.gz rust-d3900d3775c665237b83ea87e01838da9cf0da87.zip | |
Document rustc_middle::lint::LevelSource
This is to clarify the difference between `LevelSource` and `LintLevelSource`. Appease x.py fmt.
| -rw-r--r-- | compiler/rustc_lint/src/levels.rs | 4 | ||||
| -rw-r--r-- | compiler/rustc_middle/src/lint.rs | 1 |
2 files changed, 4 insertions, 1 deletions
diff --git a/compiler/rustc_lint/src/levels.rs b/compiler/rustc_lint/src/levels.rs index 410bd06850e..5cece569903 100644 --- a/compiler/rustc_lint/src/levels.rs +++ b/compiler/rustc_lint/src/levels.rs @@ -12,7 +12,9 @@ use rustc_hir::{intravisit, HirId}; use rustc_middle::hir::map::Map; use rustc_middle::lint::LevelSource; use rustc_middle::lint::LintDiagnosticBuilder; -use rustc_middle::lint::{struct_lint_level, LintLevelMap, LintLevelSets, LintSet, LintLevelSource}; +use rustc_middle::lint::{ + struct_lint_level, LintLevelMap, LintLevelSets, LintLevelSource, LintSet, +}; use rustc_middle::ty::query::Providers; use rustc_middle::ty::TyCtxt; use rustc_session::lint::{builtin, Level, Lint, LintId}; diff --git a/compiler/rustc_middle/src/lint.rs b/compiler/rustc_middle/src/lint.rs index 2dbb84970d1..d1a7e89734d 100644 --- a/compiler/rustc_middle/src/lint.rs +++ b/compiler/rustc_middle/src/lint.rs @@ -45,6 +45,7 @@ impl LintLevelSource { } } +/// A tuple of a lint level and its source. pub type LevelSource = (Level, LintLevelSource); pub struct LintLevelSets { |