about summary refs log tree commit diff
path: root/compiler/rustc_interface/src
diff options
context:
space:
mode:
authorlcnr <rust@lcnr.de>2025-08-28 09:57:36 +0200
committerlcnr <rust@lcnr.de>2025-08-29 09:35:37 +0200
commit0edb22cdbf8f25bede8d46e706b181457e27003a (patch)
treedd641154b4581922081efbd4f5d529ed813619f4 /compiler/rustc_interface/src
parent41f2b6b39e7526a28d50ff6918dda6de48add5e4 (diff)
downloadrust-0edb22cdbf8f25bede8d46e706b181457e27003a.tar.gz
rust-0edb22cdbf8f25bede8d46e706b181457e27003a.zip
cleanup proof tree implementation and add cache
Diffstat (limited to 'compiler/rustc_interface/src')
-rw-r--r--compiler/rustc_interface/src/passes.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_interface/src/passes.rs b/compiler/rustc_interface/src/passes.rs
index bc5ef04079e..ca8c10311fb 100644
--- a/compiler/rustc_interface/src/passes.rs
+++ b/compiler/rustc_interface/src/passes.rs
@@ -41,7 +41,7 @@ use rustc_span::{
     Symbol, sym,
 };
 use rustc_target::spec::PanicStrategy;
-use rustc_trait_selection::traits;
+use rustc_trait_selection::{solve, traits};
 use tracing::{info, instrument};
 
 use crate::interface::Compiler;
@@ -895,6 +895,7 @@ pub static DEFAULT_QUERY_PROVIDERS: LazyLock<Providers> = LazyLock::new(|| {
     rustc_hir_typeck::provide(providers);
     ty::provide(providers);
     traits::provide(providers);
+    solve::provide(providers);
     rustc_passes::provide(providers);
     rustc_traits::provide(providers);
     rustc_ty_utils::provide(providers);