// CHECK:
//   Mangled name: #test(){}
//   Public signature: /test|6620506149988718649[0]
//   Public signature debug description: test(){}
fun test(): Unit

// CHECK:
//   Mangled name: #testSmartcastInCondition(){}
//   Public signature: /testSmartcastInCondition|-5923754457814780223[0]
//   Public signature debug description: testSmartcastInCondition(){}
fun testSmartcastInCondition(): Unit

