test/SIL/Parser/attributes.sil

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

// CHECK-LABEL: sil [_semantics "123"] [_semantics "456"] @foo : $@convention(thin) () -> () {
sil [_semantics "123"] [_semantics "456"] @foo : $@convention(thin) () -> () {
bb0:
  return undef : $()
}