Merge pull request #39310 from slavapestov/sil-verifier-method-self-type-fix

SIL: Use correct SILFunctionConventions when computing method self type in verifier

Author: slavapestov

lib/SIL/Verifier/SILVerifier.cpp

@@ -3199,6 +3199,7 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
   }
 
   SILType getMethodSelfType(CanSILFunctionType ft) {
+    SILFunctionConventions fnConv(ft, F.getModule());
     return fnConv.getSILType(ft->getParameters().back(),
                              F.getTypeExpansionContext());
   }

test/SILGen/sil_verifier_method_self_type.swift

@@ -0,0 +1,11 @@
+// RUN: %target-swift-emit-silgen %s -requirement-machine=verify
+
+public class C<Key, Value> {
+  public func method() -> Value { fatalError() }
+}
+
+public func foo<T>(_: () -> T) {}
+
+public func bar() {
+  foo { C<Int, Int>().method() }
+}