   // CHECK:         assign {{.*}} to [[X_ADDR]] : $*Int
   // CHECK:         [[SELF_OBJ:%.*]] = load [[SELF]] : $*Good
   // CHECK:         [[SUPER_OBJ:%.*]] = upcast [[SELF_OBJ]] : $Good to $Foo
-  // CHECK:         [[SUPER_INIT:%.*]] = function_ref @_TFC22super_init_refcounting3Fooc
+  // CHECK:         [[SUPER_INIT:%.*]] = super_method [[SELF_OBJ]] : $Good, #Foo.init!initializer.1
   // CHECK:         [[SELF_OBJ:%.*]] = load [[SELF]]
   // CHECK:         [[X_ADDR:%.*]] = ref_element_addr [[SELF_OBJ]] : $Good, #Good.x
   // CHECK:         [[X:%.*]] = load [[X_ADDR]] : $*Int

// RUN: %target-swift-frontend -emit-silgen %s | FileCheck %s

class Foo {
  init() {}

  // CHECK-LABEL: sil hidden @_TFC22super_init_refcounting4Zangc
  // CHECK-NOT:     strong_retain
  // CHECK-NOT:     strong_release
  // CHECK:         super_method {{%[0-9]+}} : $Zang, #Foo.init!initializer.1
}

class Bad: Foo {
