Add a test case ensuring that we diagnose throws(any Codable & Error).

DougGregor · DougGregor · commit b362e3f4084d · 2023-10-26T14:23:36.000-07:00
diff --git a/test/decl/func/typed_throws.swift b/test/decl/func/typed_throws.swift
@@ -123,3 +123,6 @@ struct HasASubscript {
     }
   }
 }
+
+// expected-error@+1{{thrown type 'any Codable & Error' (aka 'any Decodable & Encodable & Error') does not conform to the 'Error' protocol}}
+func throwCodableErrors() throws(any Codable & Error) { }

Original file line number	Diff line number	Diff line change
`@@ -123,3 +123,6 @@ struct HasASubscript {`
`123`	`123`	`}`
`124`	`124`	`}`
`125`	`125`	`}`
	`126`	`+`
	`127`	`+// expected-error@+1{{thrown type 'any Codable & Error' (aka 'any Decodable & Encodable & Error') does not conform to the 'Error' protocol}}`
	`128`	`+func throwCodableErrors() throws(any Codable & Error) { }`