(motive : Option Lean.Meta.CoeFnInfo → Sort u_1) →
  (__do_lift : Option Lean.Meta.CoeFnInfo) →
    ((info : Lean.Meta.CoeFnInfo) → motive (some info)) →
      ((x : Option Lean.Meta.CoeFnInfo) → motive x) → motive __do_lift