From d6fd45c2e3ee24bedbc1b7643b622ab97f29537f Mon Sep 17 00:00:00 2001 From: lcnr Date: Thu, 10 Oct 2024 09:26:49 +0000 Subject: impossible obligations check fast path --- compiler/rustc_trait_selection/src/solve.rs | 1 + 1 file changed, 1 insertion(+) (limited to 'compiler/rustc_trait_selection/src/solve.rs') diff --git a/compiler/rustc_trait_selection/src/solve.rs b/compiler/rustc_trait_selection/src/solve.rs index e47f5389cd1..d425ab50ae0 100644 --- a/compiler/rustc_trait_selection/src/solve.rs +++ b/compiler/rustc_trait_selection/src/solve.rs @@ -6,6 +6,7 @@ pub mod inspect; mod normalize; mod select; +pub(crate) use delegate::SolverDelegate; pub use fulfill::{FulfillmentCtxt, NextSolverError}; pub(crate) use normalize::deeply_normalize_for_diagnostics; pub use normalize::{deeply_normalize, deeply_normalize_with_skipped_universes}; -- cgit 1.4.1-3-g733a5