// RUN: %target-sil-opt -sil-print-types %s | %target-sil-opt -sil-print-types | %FileCheck %s

sil_stage canonical

import Swift

// CHECK-LABEL: sil [ossa] @tuple_test : $@convention(thin) ((_: Int)) -> (_: Int) {
// CHECK:       bb0(%0 : $(_: Int)):
// CHECK-NEXT:    %1 = tuple_extract %0 : $(_: Int), 0
// CHECK-NEXT:    %2 = tuple (%1 : $Int)
// CHECK-NEXT:    return %2 : $(_: Int)
// CHECK-NEXT:  }

sil [ossa] @tuple_test : $@convention(thin) ((_: Int)) -> (_: Int) {
bb0(%0 : $(_: Int)):
  %1 = tuple_extract %0 : $(_: Int), 0
  %2 = tuple $(_: Int) (%1)
  return %2 : $(_: Int)
}