This commit is contained in:
lcnr 2023-09-21 08:44:12 +02:00
parent 8e139eefaf
commit 8167a25e4e

View File

@ -143,7 +143,7 @@ fn candidates_recur(
// FIXME: This is currently wrong if we don't even try any // 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 // candidates, e.g. for a trait goal, as in this case `candidates` is
// actually supposed to be empty. // actually supposed to be empty.
inspect::ProbeKind::Root { result: _ } => { inspect::ProbeKind::Root { result } => {
if candidates.is_empty() { if candidates.is_empty() {
candidates.push(InspectCandidate { candidates.push(InspectCandidate {
goal: self, goal: self,