Embedded: Add @_unavailableInEmbedded overload ambiguity tests.

Author: tshortli

test/Sema/availability.swift

@@ -3,8 +3,12 @@
 @available(*, unavailable)
 func unavailable_foo() {} // expected-note {{'unavailable_foo()' has been explicitly marked unavailable here}}
 
+@_unavailableInEmbedded // no-op without -enable-experimental-feature Embedded
+public func unavailable_in_embedded() { }
+
 func test() {
   unavailable_foo() // expected-error {{'unavailable_foo()' is unavailable}}
+  unavailable_in_embedded() // ok
 }
 
 @available(*,unavailable,message: "use 'Int' instead")

test/embedded/availability.swift

@@ -1,24 +1,67 @@
-// Building with regular Swift should succeed
-// RUN: %target-swift-emit-ir %s -parse-stdlib  -wmo
-
-// Building with embedded Swift should produce unavailability errors
-// RUN: %target-typecheck-verify-swift -parse-stdlib -enable-experimental-feature Embedded  -wmo
+// RUN: %target-typecheck-verify-swift -parse-stdlib -enable-experimental-feature Embedded
 
 // REQUIRES: swift_in_compiler
 
 @_unavailableInEmbedded
-public func embedded() { }
-public func regular() {
-	embedded() // expected-error {{'embedded()' is unavailable: unavailable in embedded Swift}}
-	// expected-note@-3 {{'embedded()' has been explicitly marked unavailable here}}
-}
+public struct UnavailableInEmbedded {}
+// expected-note@-1 {{'UnavailableInEmbedded' has been explicitly marked unavailable here}}
+
+@available(*, unavailable, message: "always unavailable")
+public struct UniverallyUnavailable {}
+// expected-note@-1 {{'UniverallyUnavailable' has been explicitly marked unavailable here}}
+
+@_unavailableInEmbedded
+public func unavailable_in_embedded() { }
+// expected-note@-1 {{'unavailable_in_embedded()' has been explicitly marked unavailable here}}
+
+@available(*, unavailable, message: "always unavailable")
+public func universally_unavailable() { }
+// expected-note@-1 {{'universally_unavailable()' has been explicitly marked unavailable here}}
 
 @_unavailableInEmbedded
 public func unused() { } // no error
 
+public struct S1 {}
+public struct S2 {}
+
 @_unavailableInEmbedded
-public func called_from_unavailable() { }
+public func has_unavailable_in_embedded_overload(_ s1: S1) { }
+
+public func has_unavailable_in_embedded_overload(_ s2: S2) { }
+
+@available(*, unavailable)
+public func has_universally_unavailable_overload(_ s1: S1) { }
+
+public func has_universally_unavailable_overload(_ s2: S2) { }
+
+public func available(
+  _ uie: UnavailableInEmbedded, // expected-error {{'UnavailableInEmbedded' is unavailable: unavailable in embedded Swift}}
+  _ uu: UniverallyUnavailable // expected-error {{'UniverallyUnavailable' is unavailable: always unavailable}}
+) {
+  unavailable_in_embedded() // expected-error {{'unavailable_in_embedded()' is unavailable: unavailable in embedded Swift}}
+  universally_unavailable() // expected-error {{'universally_unavailable()' is unavailable: always unavailable}}
+  has_unavailable_in_embedded_overload(.init())
+  has_universally_unavailable_overload(.init()) // not ambiguous, selects available overload
+}
+
 @_unavailableInEmbedded
-public func also_embedded() { 
-	called_from_unavailable() // no error
+public func also_unavailable_in_embedded(
+  _ uie: UnavailableInEmbedded, // OK
+  _ uu: UniverallyUnavailable // FIXME: should be an error
+) {
+  unavailable_in_embedded() // OK
+  universally_unavailable() // FIXME: should be an error
+  has_unavailable_in_embedded_overload(.init()) // FIXME: should be ambiguous
+  has_universally_unavailable_overload(.init()) // not ambiguous, selects available overload
+}
+
+@available(*, unavailable)
+public func also_universally_unavailable(
+  _ uie: UnavailableInEmbedded, // OK
+  _ uu: UniverallyUnavailable // OK
+) {
+  unavailable_in_embedded() // FIXME: should be an error
+  universally_unavailable() // FIXME: should be an error
+  has_unavailable_in_embedded_overload(.init()) // not ambiguous, selects available overload
+  has_universally_unavailable_overload(.init()) // not ambiguous, selects available overload
 }