never inline the only thing that calls a query, which could hit the instrument path

This commit is contained in:
Oli Scherer 2022-07-06 07:10:22 +00:00
parent 6a0511d3d5
commit 92bc9db881

View File

@ -597,6 +597,7 @@ fn process_obligation(
}
}
#[inline(never)]
fn process_backedge<'c, I>(
&mut self,
cycle: I,