diff options
| author | lcnr <rust@lcnr.de> | 2024-10-10 09:26:49 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-10-10 06:09:50 -0400 |
| commit | d6fd45c2e3ee24bedbc1b7643b622ab97f29537f (patch) | |
| tree | 7cf49fbf1f867c4b5e86b581d14ee5fd1d42f8cb /compiler/rustc_trait_selection/src/solve.rs | |
| parent | a1eceec00b2684f947481696ae2322e20d59db60 (diff) | |
| download | rust-d6fd45c2e3ee24bedbc1b7643b622ab97f29537f.tar.gz rust-d6fd45c2e3ee24bedbc1b7643b622ab97f29537f.zip | |
impossible obligations check fast path
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve.rs | 1 |
1 files changed, 1 insertions, 0 deletions
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}; |