diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2020-12-01 21:56:15 +0100 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2021-06-29 20:05:11 +0200 |
| commit | 5a731ffdaefe26f68d0744882390f6c12c4284da (patch) | |
| tree | b5d818bd81bd2f5faea98fbff9d705236939e7b8 /compiler/rustc_lint/src | |
| parent | 66fee063b6c9baed90af1e99baf75c651c2a6247 (diff) | |
Encode CommandLine in the index only.
Diffstat (limited to 'compiler/rustc_lint/src')
| -rw-r--r-- | compiler/rustc_lint/src/levels.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_lint/src/levels.rs b/compiler/rustc_lint/src/levels.rs index d190be24b60..c7e26013f1c 100644 --- a/compiler/rustc_lint/src/levels.rs +++ b/compiler/rustc_lint/src/levels.rs @@ -121,7 +121,7 @@ impl<'s> LintLevelsBuilder<'s> { } } - self.cur = self.sets.list.push(LintSet::CommandLine { specs }); + self.cur = self.sets.list.push(LintSet { specs, parent: COMMAND_LINE }); } /// Attempts to insert the `id` to `level_src` map entry. If unsuccessful @@ -524,7 +524,7 @@ impl<'s> LintLevelsBuilder<'s> { let prev = self.cur; if !specs.is_empty() { - self.cur = self.sets.list.push(LintSet::Node { specs, parent: prev }); + self.cur = self.sets.list.push(LintSet { specs, parent: prev }); } BuilderPush { prev, changed: prev != self.cur } |
