clean up local_overflow_limit
computation
fixes bors snafu where it merged an outdated commit and missed this change
This commit is contained in:
parent
7659abc63d
commit
72725529e1
1 changed files with 1 additions and 5 deletions
|
@ -51,13 +51,9 @@ pub(super) struct SearchGraph<'tcx> {
|
||||||
|
|
||||||
impl<'tcx> SearchGraph<'tcx> {
|
impl<'tcx> SearchGraph<'tcx> {
|
||||||
pub(super) fn new(tcx: TyCtxt<'tcx>, mode: SolverMode) -> SearchGraph<'tcx> {
|
pub(super) fn new(tcx: TyCtxt<'tcx>, mode: SolverMode) -> SearchGraph<'tcx> {
|
||||||
let local_overflow_limit = {
|
|
||||||
let recursion_limit = tcx.recursion_limit().0;
|
|
||||||
if recursion_limit == 0 { 0 } else { recursion_limit.ilog2() as usize }
|
|
||||||
};
|
|
||||||
Self {
|
Self {
|
||||||
mode,
|
mode,
|
||||||
local_overflow_limit,
|
local_overflow_limit: tcx.recursion_limit().0.checked_ilog2().unwrap_or(0) as usize,
|
||||||
stack: Default::default(),
|
stack: Default::default(),
|
||||||
provisional_cache: ProvisionalCache::empty(),
|
provisional_cache: ProvisionalCache::empty(),
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue