diff options
| author | bors <bors@rust-lang.org> | 2024-10-10 11:00:28 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-10-10 11:00:28 +0000 |
| commit | 4cc494bbfe9911d24f3ee521f98d5c6bb7e3ffe8 (patch) | |
| tree | e19d6f2a7cab3a46426146fa6e8edf8c43730f9b /compiler/rustc_next_trait_solver/src/solve/mod.rs | |
| parent | de19f2b73d4fd456be06f299a5d9d8fd622ca298 (diff) | |
| parent | 1c62cff89775b6ab0feb0ed6c888114a64a1798f (diff) | |
| download | rust-4cc494bbfe9911d24f3ee521f98d5c6bb7e3ffe8.tar.gz rust-4cc494bbfe9911d24f3ee521f98d5c6bb7e3ffe8.zip | |
Auto merge of #131495 - matthiaskrgr:rollup-lwf2u4i, r=matthiaskrgr
Rollup of 7 pull requests Successful merges: - #130625 (Fix a few relative paths in rustc doc) - #131397 (fix/update teach_note from 'escaping mutable ref/ptr' const-check) - #131479 (Apple: Avoid redundant `-Wl,-dylib` flag when linking) - #131480 (Fix hardcoded strip path when cross-compiling from Linux to Darwin) - #131482 (structurally resolve adts and tuples expectations too) - #131484 (Add myself back to review rotation) - #131491 (impossible obligations fast path) r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'compiler/rustc_next_trait_solver/src/solve/mod.rs')
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/solve/mod.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler/rustc_next_trait_solver/src/solve/mod.rs b/compiler/rustc_next_trait_solver/src/solve/mod.rs index 309ab7f28d1..97f7c71f3fc 100644 --- a/compiler/rustc_next_trait_solver/src/solve/mod.rs +++ b/compiler/rustc_next_trait_solver/src/solve/mod.rs @@ -48,6 +48,14 @@ enum GoalEvaluationKind { Nested, } +/// Whether evaluating this goal ended up changing the +/// inference state. +#[derive(PartialEq, Eq, Debug, Hash, Clone, Copy)] +pub enum HasChanged { + Yes, + No, +} + // FIXME(trait-system-refactor-initiative#117): we don't detect whether a response // ended up pulling down any universes. fn has_no_inference_or_external_constraints<I: Interner>( |