diff options
| author | lcnr <rust@lcnr.de> | 2024-07-23 23:08:14 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-08-12 10:33:04 +0200 |
| commit | 0c75c080a7d0662d79c9392ea4a57a805d3b1883 (patch) | |
| tree | 833cd3b3d9d9439874be1212d812239da72575a9 | |
| parent | e83eacdfaa9002559d3a301a0d1a0f54fa253f1d (diff) | |
| download | rust-0c75c080a7d0662d79c9392ea4a57a805d3b1883.tar.gz rust-0c75c080a7d0662d79c9392ea4a57a805d3b1883.zip | |
merge impl blocks
| -rw-r--r-- | compiler/rustc_type_ir/src/search_graph/mod.rs | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/compiler/rustc_type_ir/src/search_graph/mod.rs b/compiler/rustc_type_ir/src/search_graph/mod.rs index 18a5a85dfa8..bd93c86b086 100644 --- a/compiler/rustc_type_ir/src/search_graph/mod.rs +++ b/compiler/rustc_type_ir/src/search_graph/mod.rs @@ -118,6 +118,11 @@ impl UsageKind { } } +enum StepResult<X: Cx> { + Done(StackEntry<X>, X::Result), + HasChanged, +} + #[derive(Debug, Clone, Copy)] struct AvailableDepth(usize); impl AvailableDepth { @@ -559,14 +564,7 @@ impl<D: Delegate<Cx = X>, X: Cx> SearchGraph<D> { ) }) } -} -enum StepResult<X: Cx> { - Done(StackEntry<X>, X::Result), - HasChanged, -} - -impl<D: Delegate<Cx = X>, X: Cx> SearchGraph<D> { /// When we encounter a coinductive cycle, we have to fetch the /// result of that cycle while we are still computing it. Because /// of this we continuously recompute the cycle until the result |
