[Test] Add executable tests for non-matching error/result values in direct error return typed throws

Author: drexin

test/Interpreter/Inputs/typed_throws_abi_impl.swift

@@ -88,6 +88,20 @@ public struct Impl: P {
         }
         return (1, 2, 3, 4, 5)
     }
+
+    public func nonMatching_f0(_ b: Bool) throws(OneWord) -> (Float, Float) {
+        guard b else {
+            throw OneWord()
+        }
+        return (1.0, 2.0)
+    }
+
+    public func nonMatching_f1(_ b: Bool) throws(OneWord) -> (Float, Bool, Float) {
+        guard b else {
+            throw OneWord()
+        }
+        return (1.0, true, 2.0)
+    }
 }
 
 @available(SwiftStdlib 6.0, *)
@@ -175,6 +189,20 @@ public struct ImplAsync: PAsync {
         }
         return (1, 2, 3, 4, 5)
     }
+
+    public func nonMatching_f0(_ b: Bool) async throws(OneWord) -> (Float, Float) {
+        guard b else {
+            throw OneWord()
+        }
+        return (1.0, 2.0)
+    }
+
+    public func nonMatching_f1(_ b: Bool) async throws(OneWord) -> (Float, Bool, Float) {
+        guard b else {
+            throw OneWord()
+        }
+        return (1.0, true, 2.0)
+    }
 }
 
 public protocol P {
@@ -191,6 +219,9 @@ public protocol P {
     func g3(_ b: Bool) throws(OneWord) -> (Int, Int, Int)
     func g4(_ b: Bool) throws(OneWord) -> (Int, Int, Int, Int)
     func g5(_ b: Bool) throws(OneWord) -> (Int, Int, Int, Int, Int)
+
+    func nonMatching_f0(_ b: Bool) throws(OneWord) -> (Float, Float)
+    func nonMatching_f1(_ b: Bool) throws(OneWord) -> (Float, Bool, Float)
 }
 
 @available(SwiftStdlib 6.0, *)
@@ -208,4 +239,7 @@ public protocol PAsync {
     func g3(_ b: Bool) async throws(OneWord) -> (Int, Int, Int)
     func g4(_ b: Bool) async throws(OneWord) -> (Int, Int, Int, Int)
     func g5(_ b: Bool) async throws(OneWord) -> (Int, Int, Int, Int, Int)
+
+    func nonMatching_f0(_ b: Bool) async throws(OneWord) -> (Float, Float)
+    func nonMatching_f1(_ b: Bool) async throws(OneWord) -> (Float, Bool, Float)
 }

test/Interpreter/typed_throws_abi.swift

@@ -77,6 +77,16 @@ func checkSync() async {
     await invoke { try impl.g5(true) }
     // CHECK: Error: OneWord(x: 0)
     await invoke { try impl.g5(false) }
+
+    // CHECK: Success: (1.0, 2.0)
+    await invoke { try impl.nonMatching_f0(true) }
+    // CHECK: Error: OneWord(x: 0)
+    await invoke { try impl.nonMatching_f0(false) }
+
+    // CHECK: Success: (1.0, true, 2.0)
+    await invoke { try impl.nonMatching_f1(true) }
+    // CHECK: Error: OneWord(x: 0)
+    await invoke { try impl.nonMatching_f1(false) }
 }
 
 func checkAsync() async {
@@ -140,6 +150,16 @@ func checkAsync() async {
     await invoke { try await impl.g5(true) }
     // CHECK: Error: OneWord(x: 0)
     await invoke { try await impl.g5(false) }
+
+    // CHECK: Success: (1.0, 2.0)
+    await invoke { try await impl.nonMatching_f0(true) }
+    // CHECK: Error: OneWord(x: 0)
+    await invoke { try await impl.nonMatching_f0(false) }
+
+    // CHECK: Success: (1.0, true, 2.0)
+    await invoke { try await impl.nonMatching_f1(true) }
+    // CHECK: Error: OneWord(x: 0)
+    await invoke { try await impl.nonMatching_f1(false) }
 }
 
 @main