bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

update universe used by the leak check

Browse source
This commit is contained in:
lcnr 2023-05-29 14:35:11 +02:00
parent dccc8db17d
commit 0b81f992e9
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_trait_selection/src/solve/eval_ctxt/canonical.rs
View file

@ -137,7 +137,9 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
#[instrument(level = "debug", skip(self), ret)]
fn compute_external_query_constraints(&self) -> Result<ExternalConstraints<'tcx>, NoSolution> {
self.infcx.leak_check(ty::UniverseIndex::ROOT, None).map_err(|e| {
// We only check for leaks from universes which were entered inside
// of the query.
self.infcx.leak_check(self.max_input_universe, None).map_err(|e| {
debug!(?e, "failed the leak check");
NoSolution
})?;