Skip to content

Commit 2489889

Browse files
Add compare-mode-next-solver
1 parent 21f6839 commit 2489889

File tree

3 files changed

+7
-0
lines changed

3 files changed

+7
-0
lines changed

src/tools/compiletest/src/common.rs

+3
Original file line numberDiff line numberDiff line change
@@ -123,6 +123,7 @@ pub enum FailMode {
123123
pub enum CompareMode {
124124
Polonius,
125125
Chalk,
126+
NextSolver,
126127
SplitDwarf,
127128
SplitDwarfSingle,
128129
}
@@ -132,6 +133,7 @@ impl CompareMode {
132133
match *self {
133134
CompareMode::Polonius => "polonius",
134135
CompareMode::Chalk => "chalk",
136+
CompareMode::NextSolver => "next-solver",
135137
CompareMode::SplitDwarf => "split-dwarf",
136138
CompareMode::SplitDwarfSingle => "split-dwarf-single",
137139
}
@@ -141,6 +143,7 @@ impl CompareMode {
141143
match s.as_str() {
142144
"polonius" => CompareMode::Polonius,
143145
"chalk" => CompareMode::Chalk,
146+
"next-solver" => CompareMode::NextSolver,
144147
"split-dwarf" => CompareMode::SplitDwarf,
145148
"split-dwarf-single" => CompareMode::SplitDwarfSingle,
146149
x => panic!("unknown --compare-mode option: {}", x),

src/tools/compiletest/src/header.rs

+1
Original file line numberDiff line numberDiff line change
@@ -701,6 +701,7 @@ impl Config {
701701
match self.compare_mode {
702702
Some(CompareMode::Polonius) => name == "compare-mode-polonius",
703703
Some(CompareMode::Chalk) => name == "compare-mode-chalk",
704+
Some(CompareMode::NextSolver) => name == "compare-mode-next-solver",
704705
Some(CompareMode::SplitDwarf) => name == "compare-mode-split-dwarf",
705706
Some(CompareMode::SplitDwarfSingle) => name == "compare-mode-split-dwarf-single",
706707
None => false,

src/tools/compiletest/src/runtest.rs

+3
Original file line numberDiff line numberDiff line change
@@ -2013,6 +2013,9 @@ impl<'test> TestCx<'test> {
20132013
Some(CompareMode::Chalk) => {
20142014
rustc.args(&["-Ztrait-solver=chalk"]);
20152015
}
2016+
Some(CompareMode::NextSolver) => {
2017+
rustc.args(&["-Ztrait-solver=next"]);
2018+
}
20162019
Some(CompareMode::SplitDwarf) if self.config.target.contains("windows") => {
20172020
rustc.args(&["-Csplit-debuginfo=unpacked", "-Zunstable-options"]);
20182021
}

0 commit comments

Comments
 (0)