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

sil @foo : $@convention(thin) () -> () {
bb0:
          return undef : $(), loc "foo.sil":12:34
// CHECK: return undef : $(), loc "foo.sil":12:34
}