Hack: Avoid devirtualizing calls to requirements with covariant Self inside collections, since the optimizer doesn't know how to handle them yet

Author: AnthonyLatsis

test/decl/protocol/protocols_with_self_or_assoc_reqs_executable.swift

@@ -48,7 +48,10 @@ Tests.test("Basic") {
   expectEqual(3, collection.count)
 }
 
-Tests.test("Covariant 'Self' erasure") {
+// FIXME: Teach the devirtualizer how to handle calls to requirements with covariant `Self` nested
+// inside known-covariant stdlib types such as an array or dictionary.
+@_optimize(none)
+func convariantSelfErasureTest() {
   struct S: P {
     static let str = "Success"
     func getString() -> String { Self.str }
@@ -104,4 +107,7 @@ Tests.test("Covariant 'Self' erasure") {
   expectEqual(true, S() is P)
 }
 
+
+Tests.test("Covariant 'Self' erasure", convariantSelfErasureTest)
+
 runAllTests()