about summary refs log tree commit diff
diff options
context:
space:
mode:
authorlcnr <rust@lcnr.de>2024-07-23 23:08:14 +0200
committerlcnr <rust@lcnr.de>2024-08-12 10:33:04 +0200
commit0c75c080a7d0662d79c9392ea4a57a805d3b1883 (patch)
tree833cd3b3d9d9439874be1212d812239da72575a9
parente83eacdfaa9002559d3a301a0d1a0f54fa253f1d (diff)
downloadrust-0c75c080a7d0662d79c9392ea4a57a805d3b1883.tar.gz
rust-0c75c080a7d0662d79c9392ea4a57a805d3b1883.zip
merge impl blocks
-rw-r--r--compiler/rustc_type_ir/src/search_graph/mod.rs12
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