// RUN: %target-swift-emit-silgen -parse-as-library %s | %FileCheck %s

enum PartialApplyEnumPayload<T, U> {
  case left(T)
  case both(T, U)

  case leftWithLabel(left: T)
  case bothWithLabel(left: T, right: U)

  case tupleWithLabel(both: (T, U))

  // Note: SILGen can emit these thunks correctly, but we disabled
  // the feature since calling the constructor directly (without a
  // thunk) doesn't work yet.
  /* case variadic(_: Int...)
  case variadicWithLabel(indices: Int...)
  case variadicTuple(_: (Int, Int)...)
  case variadicWithOther(String, _: Int...) */

  case autoclosure(@autoclosure () -> ())
}

struct S {}
struct C {}

func partialApplyEnumCases(_ x: S, y: C) {
  _ = PartialApplyEnumPayload<S, C>.left
  _ = PartialApplyEnumPayload<S, C>.both
  _ = PartialApplyEnumPayload<S, C>.leftWithLabel
  _ = PartialApplyEnumPayload<S, C>.tupleWithLabel
  /* _ = PartialApplyEnumPayload<S, C>.variadic
  _ = PartialApplyEnumPayload<S, C>.variadicWithLabel
  _ = PartialApplyEnumPayload<S, C>.variadicTuple
  _ = PartialApplyEnumPayload<S, C>.variadicWithOther */
  _ = PartialApplyEnumPayload<S, C>.autoclosure
}

// CHECK-LABEL: sil private [ossa] @$s17enum_curry_thunks21partialApplyEnumCases_1yyAA1SV_AA1CVtFAA07PartialeF7PayloadOyAeGGAEcAJmcfu_AjEcfu0_ : $@convention(thin) (S, @thin PartialApplyEnumPayload<S, C>.Type) -> @owned PartialApplyEnumPayload<S, C> {

// CHECK-LABEL: sil private [ossa] @$s17enum_curry_thunks21partialApplyEnumCases_1yyAA1SV_AA1CVtFAA07PartialeF7PayloadOyAeGGAE_AGtcAJmcfu1_AjE_AGtcfu2_ : $@convention(thin) (S, C, @thin PartialApplyEnumPayload<S, C>.Type) -> @owned PartialApplyEnumPayload<S, C> {

// CHECK-LABEL: sil private [ossa] @$s17enum_curry_thunks21partialApplyEnumCases_1yyAA1SV_AA1CVtFAA07PartialeF7PayloadOyAeGGAEcAJmcfu3_AjEcfu4_ : $@convention(thin) (S, @thin PartialApplyEnumPayload<S, C>.Type) -> @owned PartialApplyEnumPayload<S, C> {

// CHECK-LABEL: sil private [ossa] @$s17enum_curry_thunks21partialApplyEnumCases_1yyAA1SV_AA1CVtFAA07PartialeF7PayloadOyAeGGAE_AGt_tcAJmcfu5_AjE_AGt_tcfu6_ : $@convention(thin) (S, C, @thin PartialApplyEnumPayload<S, C>.Type) -> @owned PartialApplyEnumPayload<S, C> {

// CHECK-LABEL: sil private [ossa] @$s17enum_curry_thunks21partialApplyEnumCases_1yyAA1SV_AA1CVtFAA07PartialeF7PayloadOyAeGGyyXAcAJmcfu7_AJyyXAcfu8_ : $@convention(thin) (@guaranteed @callee_guaranteed () -> (), @thin PartialApplyEnumPayload<S, C>.Type) -> @owned PartialApplyEnumPayload<S, C> {