diff options
| author | lcnr <rust@lcnr.de> | 2024-01-09 13:10:37 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-01-09 13:10:37 +0100 |
| commit | 13aa90042fca87b4209e81fbd6b7d4d03285b4a4 (patch) | |
| tree | f683d0c250c86f7a9e921e85303fe6af1d08851a /compiler/rustc_trait_selection/src | |
| parent | 242633fe52b3bc032d7ecf0eb548c4ae225fb2a1 (diff) | |
| download | rust-13aa90042fca87b4209e81fbd6b7d4d03285b4a4.tar.gz rust-13aa90042fca87b4209e81fbd6b7d4d03285b4a4.zip | |
this is not a rust code snippet
Diffstat (limited to 'compiler/rustc_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/search_graph.rs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/search_graph.rs b/compiler/rustc_trait_selection/src/solve/search_graph.rs index c33b302c33a..bede94a2e43 100644 --- a/compiler/rustc_trait_selection/src/solve/search_graph.rs +++ b/compiler/rustc_trait_selection/src/solve/search_graph.rs @@ -61,10 +61,11 @@ struct DetachedEntry<'tcx> { /// /// Given the following rules, when proving `A` the head for /// the provisional entry of `C` would be `B`. - /// - /// A :- B - /// B :- C - /// C :- A + B + C + /// ```plain + /// A :- B + /// B :- C + /// C :- A + B + C + /// ``` head: StackDepth, result: QueryResult<'tcx>, } |