Code

some inspect improvements#115751

Code

Merged

bors merged 5 commits intorust-lang:masterrust-lang/rust:masterfrom

lcnr:inspect-cleanuplcnr/rust:inspect-cleanupCopy head branch name to clipboard

Sep 14, 2023

Commits

Commits on Sep 11, 2023

• split GoalEvaluation and CanonicalGoalEvaluation

  Show description for fc452e2
  lcnr

  committed
  fc452e2

  Copy full SHA for fc452e2

• inspect: handle `None` in `nested`

  lcnr

  committed
  01f3da6

  Copy full SHA for 01f3da6

• revision -> iteration for added_goals_evaluation

  lcnr

  committed
  006d599

  Copy full SHA for 006d599

• inspect: strongly typed CandidateKind

  lcnr

  committed
  8225a2e

  Copy full SHA for 8225a2e

• dedup `GoalEvaluationStep` and `GoalCandidate`

  Show description for eac55ee
  lcnr

  committed
  eac55ee

  Copy full SHA for eac55ee