{motive : Lean.Widget.SubexprInfo → Sort u} →
  ((info : Lean.Server.WithRpcRef Lean.Elab.InfoWithCtx) →
      (subexprPos : Lean.SubExpr.Pos) →
        (diffStatus? : Option Lean.Widget.DiffTag) →
          motive { info := info, subexprPos := subexprPos, diffStatus? := diffStatus? }) →
    (t : Lean.Widget.SubexprInfo) → motive t