(motive : Option Lean.StructureFieldInfo → Sort u_1) →
  (x : Option Lean.StructureFieldInfo) →
    ((fieldInfo : Lean.StructureFieldInfo) → motive (some fieldInfo)) →
      ((x : Option Lean.StructureFieldInfo) → motive x) → motive x