diff options
| author | lcnr <rust@lcnr.de> | 2024-03-12 14:26:30 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-04-25 19:44:00 +0000 |
| commit | 03878c682a68dc2891eccbd04b5d2f04c91ba0c4 (patch) | |
| tree | 48daca477cf106446c77e40ecf5cf5770e1d8234 /compiler/rustc_middle/src/traits | |
| parent | 662eadbafb4d4021eb0f0cbe0b2521f2e3da3531 (diff) | |
| download | rust-03878c682a68dc2891eccbd04b5d2f04c91ba0c4.tar.gz rust-03878c682a68dc2891eccbd04b5d2f04c91ba0c4.zip | |
hir typeck: look into nested goals
uses a `ProofTreeVisitor` to look into nested goals when looking at the pending obligations during hir typeck. Used by closure signature inference, coercion, and for async functions.
Diffstat (limited to 'compiler/rustc_middle/src/traits')
| -rw-r--r-- | compiler/rustc_middle/src/traits/solve/inspect.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/traits/solve/inspect.rs b/compiler/rustc_middle/src/traits/solve/inspect.rs index 52cdbae1e56..f2283e71dc8 100644 --- a/compiler/rustc_middle/src/traits/solve/inspect.rs +++ b/compiler/rustc_middle/src/traits/solve/inspect.rs @@ -102,6 +102,7 @@ pub struct Probe<'tcx> { /// What happened inside of this probe in chronological order. pub steps: Vec<ProbeStep<'tcx>>, pub kind: ProbeKind<'tcx>, + pub final_state: CanonicalState<'tcx, ()>, } impl Debug for Probe<'_> { |