Merge pull request #14050 from milseman/proof_is_trivial

Author: swift-ci

benchmark/single-source/Calculator.swift

@@ -39,7 +39,7 @@ func my_atoi_impl(_ input : String) -> Int {
 public func run_Calculator(_ N: Int) {
   var c = 0
   for _ in 1...N*5000 {
-      c += my_atoi_impl("10")
+      c += my_atoi_impl(identity("10"))
   }
   CheckResults(c == 0)
 }

benchmark/single-source/OpenClose.swift

@@ -34,7 +34,7 @@ func check_state(_ state : MyState) -> Int {
 public func run_OpenClose(_ N: Int) {
   var c = 0
   for _ in 1...N*10000 {
-      c += check_state(MyState.Closed)
+      c += check_state(identity(MyState.Closed))
   }
   CheckResults(c == 0)
 }