Previously we were defaulting to the method's interface type, which could lead to calling `subst` with a GenericFunctionType. Instead, pass the result type only, as that's all we want anyway. rdar://77259607
