// RUN: %target-sil-opt -enable-sil-verify-all -strip-debug-info %s | %FileCheck %s

sil_stage canonical

import Swift
import Builtin

// CHECK-LABEL: sil @test
// CHECK: bb0
// CHECK-NEXT: tuple
// CHECK-NEXT: return
sil @test : $@convention(thin) <T> (@inout T, Builtin.Int64) -> () {
bb0(%0 : $*T, %1 : $Builtin.Int64):
  debug_value_addr %0 : $*T
  debug_value %1 : $Builtin.Int64
  %2 = tuple ()
  return %2 : $()
}