Skip to content

Commit 4689294

Browse files
committed
add FIXME
1 parent 30f314b commit 4689294

File tree

1 file changed

+6
-0
lines changed
  • compiler/rustc_trait_selection/src/solve/inspect

1 file changed

+6
-0
lines changed

compiler/rustc_trait_selection/src/solve/inspect/analyse.rs

+6
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,12 @@ impl<'a, 'tcx> InspectCandidate<'a, 'tcx> {
4747
self.result.map(|c| c.value.certainty)
4848
}
4949

50+
/// Visit the nested goals of this candidate.
51+
///
52+
/// FIXME(@lcnr): we have to slightly adapt this API
53+
/// to also use it to compute the most relevant goal
54+
/// for fulfillment errors. Will do that once we actually
55+
/// need it.
5056
pub fn visit_nested<V: ProofTreeVisitor<'tcx>>(
5157
&self,
5258
visitor: &mut V,

0 commit comments

Comments
 (0)