Skip to content

Commit

Permalink
w
Browse files Browse the repository at this point in the history
  • Loading branch information
lcnr committed Sep 21, 2023
1 parent 8e139ee commit 8167a25
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -143,7 +143,7 @@ impl<'a, 'tcx> InspectGoal<'a, 'tcx> {
// FIXME: This is currently wrong if we don't even try any
// candidates, e.g. for a trait goal, as in this case `candidates` is
// actually supposed to be empty.
inspect::ProbeKind::Root { result: _ } => {
inspect::ProbeKind::Root { result } => {
if candidates.is_empty() {
candidates.push(InspectCandidate {
goal: self,
Expand Down

0 comments on commit 8167a25

Please sign in to comment.