Make borrow checking configurable for term search

This commit is contained in:
Tavo Annus 2024-06-29 12:24:08 +03:00
parent 9463d9eea4
commit 1389312871
10 changed files with 38 additions and 2 deletions

View file

@ -234,6 +234,7 @@ pub struct DiagnosticsConfig {
pub prefer_no_std: bool,
pub prefer_prelude: bool,
pub term_search_fuel: u64,
pub term_search_borrowck: bool,
}
impl DiagnosticsConfig {
@ -260,6 +261,7 @@ impl DiagnosticsConfig {
prefer_no_std: false,
prefer_prelude: true,
term_search_fuel: 400,
term_search_borrowck: true,
}
}
}