[Devirtualize] Support devirtualization of witness methods when we have a polymorphic type and no substitutions required

lib/SIL/SILFunctionType.cpp

@@ -2438,7 +2438,9 @@ CanSILFunctionType
 SILFunctionType::substGenericArgs(SILModule &silModule,
                                   SubstitutionList subs) {
   if (subs.empty()) {
-    assert(!isPolymorphic() && "no args for polymorphic substitution");
+    assert(
+        (!isPolymorphic() || getGenericSignature()->areAllParamsConcrete()) &&
+        "no args for non-concrete polymorphic substitution");
     return CanSILFunctionType(this);
   }
 

test/SILOptimizer/devirt_witness_method_empty_conformance.swift

@@ -0,0 +1,90 @@
+// RUN: %target-swift-frontend -O -emit-ir  -primary-file %s | %FileCheck %s
+
+public struct PublicStruct {
+}
+
+public enum PublicEnum {
+}
+
+struct RegStruct {
+    enum EnumInRegStruct {
+        case case1
+        case case2
+    }
+
+    private var optNode: Any?
+    private var ClassInRegStructs = [ClassInRegStruct]()
+
+    var isEmpty: Bool {
+        return optNode == nil && ClassInRegStructs.isEmpty
+    }
+
+    private func funcInRegStruct() -> RegStruct? {
+        var funcInRegStruct = RegStruct()
+        return funcInRegStruct
+    }
+
+    func func2InRegStruct(boolParam: Bool = false,
+                 _ body: (inout Bool) -> Void) {
+        var finished = false
+        func2InRegStruct(body, boolParam: boolParam, &finished)
+    }
+
+    private func func2InRegStruct(_ body: (inout Bool) -> Void,
+                         boolParam: Bool = false, _ finished: inout Bool) {
+        funcInRegStruct()?.func2InRegStruct(body, boolParam: boolParam, &finished)
+    }
+
+    private static func func2InRegStruct(_ ClassInRegStructs: [ClassInRegStruct],
+                                _ body: (inout Bool) -> Void,
+                                boolParam: Bool, _ finished: inout Bool) {
+    }
+
+    func funcInStructAndProtAndExt(_ EnumInRegStruct: EnumInRegStruct, space: PublicEnum,
+                 _ body: () -> Void) {
+        guard !isEmpty else { return }
+
+        func2InRegStruct(boolParam: !EnumInRegStruct.isDownwards) { finished in
+        }
+    }
+
+    final private class ClassInRegStruct {
+    }
+}
+
+extension RegStruct.EnumInRegStruct {
+    fileprivate var isDownwards: Bool {
+        switch self {
+        case .case1:
+            return true
+        case .case2:
+            return false
+        }
+    }
+}
+
+private protocol ApplyRegStruct {
+    mutating func applyTransform()
+}
+
+protocol RegStructable {
+    mutating func funcInStructAndProtAndExt(from space: PublicEnum, transform: RegStruct)
+}
+
+extension ApplyRegStruct {
+    mutating func funcInStructAndProtAndExt(
+        from space: PublicEnum, transform: RegStruct
+    ) {
+        transform.funcInStructAndProtAndExt(.case2, space: space) {
+// CHECK-LABEL: define hidden swiftcc void @"$SSa39devirt_witness_method_empty_conformanceAA12PublicStructVRszlE14applyTransformyyF"(%TSa* nocapture swiftself dereferenceable
+// CHECK-NEXT: entry
+// CHECK-NEXT: ret void
+            applyTransform()
+        }
+    }
+}
+
+extension Array : ApplyRegStruct, RegStructable where Element == PublicStruct {
+    mutating func applyTransform() {
+    }
+}