{motive : Lean.Parser.ParserResolution → Sort u} →
  (t : Lean.Parser.ParserResolution) →
    t.ctorIdx = 2 → ((p : Lean.Parser.ParserAliasValue) → motive (Lean.Parser.ParserResolution.alias p)) → motive t