test/SILOptimizer/definite_init_extension.swift

// RUN: %target-swift-frontend -emit-sil -enable-sil-ownership -verify %s -o /dev/null

struct S<T> {
  let t: T // expected-note {{'self.t.1' not initialized}}
}

extension S where T == (Int, String) {
  init(x: ()) {
    t.0 = 1
    t.1 = "hi"
  }

  init(y: ()) {
    t.0 = 1
  } // expected-error {{return from initializer without initializing all stored properties}}
}