Add a couple additional tests for Optional-to-Any warnings.

(cherry picked from commit dbb5bc4)

Author: rudkx

test/Sema/diag_unintended_optional_behavior.swift

@@ -145,10 +145,22 @@ func warnCollectionOfOptionalToAnyCoercion(_ a: [Int?], _ d: [String : Int?]) {
   // expected-note@-1 {{explicitly cast to '[Any]' with 'as [Any]' to silence this warning}}{{25-25= as [Any]}}
   // expected-warning@-2 {{expression implicitly coerced from '[String : Int?]' to '[String : Any]'}}
   // expected-note@-3 {{explicitly cast to '[String : Any]' with 'as [String : Any]' to silence this warning}}{{28-28= as [String : Any]}}
+  takesCollectionOfAny([a[0]], ["test" : a[0]]) // expected-warning {{expression implicitly coerced from 'Int?' to 'Any'}}
+  // expected-note@-1 {{provide a default value to avoid this warning}}{{29-29= ?? <#default value#>}}
+  // expected-note@-2 {{force-unwrap the value to avoid this warning}}{{29-29=!}}
+  // expected-note@-3 {{explicitly cast to 'Any' with 'as Any' to silence this warning}}{{29-29= as Any}}
+  // expected-warning@-4 {{expression implicitly coerced from 'Int?' to 'Any'}}
+  // expected-note@-5 {{provide a default value to avoid this warning}}{{46-46= ?? <#default value#>}}
+  // expected-note@-6 {{force-unwrap the value to avoid this warning}}{{46-46=!}}
+  // expected-note@-7 {{explicitly cast to 'Any' with 'as Any' to silence this warning}}{{46-46= as Any}}
 
   takesCollectionOfAny(a as [Any], d as [String : Any])
 }
 
+func nowarnCollectionOfIUOToAnyCoercion(_ a: Int!) {
+  takesCollectionOfAny([a], ["test" : a])
+}
+
 func warnCollectionOfTripleOptionalToAnyCoercion(_ a: [Any???], _ d: [String: Any???]) {
   takesCollectionOfAny(a, d) // expected-warning {{expression implicitly coerced from '[Any???]' to '[Any]'}}
   // expected-note@-1 {{explicitly cast to '[Any]' with 'as [Any]' to silence this warning}}{{25-25= as [Any]}}

test/Sema/diag_unintended_optional_behavior_swift_5.swift

@@ -67,3 +67,16 @@ func warnIUOToOptionalAnyCoercion(_ a: Int!, _ b: Any?!, _ c: Int??!, _ d: Any??
   takesOptionalAny(c!!, d!!!)
   takesOptionalAny(c as Any?, d as Any?)
 }
+
+func takesCollectionOfAny(_ a: [Any], _ d: [String : Any]) {}
+
+func warnCollectionOfIUOToAnyCoercion(_ a: Int!) {
+  takesCollectionOfAny([a], ["test" : a]) // expected-warning {{expression implicitly coerced from 'Int?' to 'Any'}}
+  // expected-note@-1 {{provide a default value to avoid this warning}}{{26-26= ?? <#default value#>}}
+  // expected-note@-2 {{force-unwrap the value to avoid this warning}}{{26-26=!}}
+  // expected-note@-3 {{explicitly cast to 'Any' with 'as Any' to silence this warning}}{{26-26= as Any}}
+  // expected-warning@-4 {{expression implicitly coerced from 'Int?' to 'Any'}}
+  // expected-note@-5 {{provide a default value to avoid this warning}}{{40-40= ?? <#default value#>}}
+  // expected-note@-6 {{force-unwrap the value to avoid this warning}}{{40-40=!}}
+  // expected-note@-7 {{explicitly cast to 'Any' with 'as Any' to silence this warning}}{{40-40= as Any}}
+}