mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

this is not a rust code snippet

Browse Source
This commit is contained in:
lcnr 2024-01-09 13:10:37 +01:00
parent 242633fe52
commit 13aa90042f
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
compiler/rustc_trait_selection/src/solve/search_graph.rs
View File

@ -61,10 +61,11 @@ struct DetachedEntry<'tcx> {
/// ///
/// Given the following rules, when proving `A` the head for /// Given the following rules, when proving `A` the head for
/// the provisional entry of `C` would be `B`. /// the provisional entry of `C` would be `B`.
/// /// ```plain
/// A :- B /// A :- B
/// B :- C /// B :- C
/// C :- A + B + C /// C :- A + B + C
/// ```
head: StackDepth, head: StackDepth,
result: QueryResult<'tcx>, result: QueryResult<'tcx>,
} }