diff options
| author | Michael Goulet <michael@errs.io> | 2024-11-27 21:27:37 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-12-02 22:51:18 +0000 |
| commit | 398fd901d5f8afa982eeb0f9318d9d0e4e791f44 (patch) | |
| tree | c5e61541e52b9d517b382b85e14d3a441db6993e /compiler/rustc_infer | |
| parent | abfa5c1dca4c549f0e196a872579434ff23a24bb (diff) | |
| download | rust-398fd901d5f8afa982eeb0f9318d9d0e4e791f44.tar.gz rust-398fd901d5f8afa982eeb0f9318d9d0e4e791f44.zip | |
Assert that obligations are empty before deeply normalizing
Diffstat (limited to 'compiler/rustc_infer')
| -rw-r--r-- | compiler/rustc_infer/src/traits/engine.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_infer/src/traits/engine.rs b/compiler/rustc_infer/src/traits/engine.rs index ba1516655b0..51282b900ed 100644 --- a/compiler/rustc_infer/src/traits/engine.rs +++ b/compiler/rustc_infer/src/traits/engine.rs @@ -84,6 +84,8 @@ pub trait TraitEngine<'tcx, E: 'tcx>: 'tcx { self.collect_remaining_errors(infcx) } + fn has_pending_obligations(&self) -> bool; + fn pending_obligations(&self) -> PredicateObligations<'tcx>; /// Among all pending obligations, collect those are stalled on a inference variable which has |