test/SILGen/fully-concrete-extension-of-generic.swift

// RUN: %target-swift-emit-silgen -enable-sil-ownership -verify %s 

class C<T> {
  init() {}
}

extension C where T == Int {
  convenience init(forInt _: ()) {
    self.init()
  }
}

func exerciseInits(which: Bool) -> C<Int> {
  if which {
    return C()
  } else {
    return C(forInt: ())
  }
}