// RUN: %target-swift-frontend -emit-silgen %s | FileCheck %s

class C {}


// CHECK-LABEL: sil hidden @_TF7foreach13tupleElementsFGSaTCS_1CS0___T_
func tupleElements(_ xx: [(C, C)]) {
  // CHECK: [[PAYLOAD:%.*]] = unchecked_enum_data {{%.*}} : $Optional<(C, C)>, #Optional.some!enumelt.1
  // CHECK: [[A:%.*]] = tuple_extract [[PAYLOAD]] : $(C, C), 0
  // CHECK: [[B:%.*]] = tuple_extract [[PAYLOAD]] : $(C, C), 1
  // CHECK: strong_release [[B]]
  // CHECK: strong_release [[A]]
  for (a, b) in xx {}
  // CHECK: [[PAYLOAD:%.*]] = unchecked_enum_data {{%.*}} : $Optional<(C, C)>, #Optional.some!enumelt.1
  // CHECK: [[A:%.*]] = tuple_extract [[PAYLOAD]] : $(C, C), 0
  // CHECK: [[B:%.*]] = tuple_extract [[PAYLOAD]] : $(C, C), 1
  // CHECK: strong_release [[B]]
  // CHECK: strong_release [[A]]
  for (a, _) in xx {}
  // CHECK: [[PAYLOAD:%.*]] = unchecked_enum_data {{%.*}} : $Optional<(C, C)>, #Optional.some!enumelt.1
  // CHECK: [[A:%.*]] = tuple_extract [[PAYLOAD]] : $(C, C), 0
  // CHECK: [[B:%.*]] = tuple_extract [[PAYLOAD]] : $(C, C), 1
  // CHECK: strong_release [[A]]
  // CHECK: strong_release [[B]]
  for (_, b) in xx {}
  // CHECK: [[PAYLOAD:%.*]] = unchecked_enum_data {{%.*}} : $Optional<(C, C)>, #Optional.some!enumelt.1
  // CHECK: [[A:%.*]] = tuple_extract [[PAYLOAD]] : $(C, C), 0
  // CHECK: [[B:%.*]] = tuple_extract [[PAYLOAD]] : $(C, C), 1
  // CHECK: strong_release [[B]]
  // CHECK: strong_release [[A]]
  for (_, _) in xx {}
  // CHECK: [[PAYLOAD:%.*]] = unchecked_enum_data {{%.*}} : $Optional<(C, C)>, #Optional.some!enumelt.1
  // CHECK: [[A:%.*]] = tuple_extract [[PAYLOAD]] : $(C, C), 0
  // CHECK: [[B:%.*]] = tuple_extract [[PAYLOAD]] : $(C, C), 1
  // CHECK: strong_release [[B]]
  // CHECK: strong_release [[A]]
  for  _     in xx {}
}