∀ (expectedType expectedType_1 : Lean.Expr),
  (Lean.Elab.Term.UseImplicitLambdaResult.yes expectedType =
      Lean.Elab.Term.UseImplicitLambdaResult.yes expectedType_1) =
    (expectedType = expectedType_1)