// RUN: %target-typecheck-verify-swift

struct G<T> {
  init() {}
  init<U>(x:G<U>) { }

  func foo<U>(_ x: G<U>) { }

  func bar<U>(_ x: U) { }

  static func static_foo<U>(_ x: G<U>) { }
  static func static_bar<U>(_ x: U) { }
}

typealias GInt = G<Int>
typealias GChar = G<UnicodeScalar>
GInt(x: GChar()) // expected-warning{{unused}}

GInt().foo(GChar())
GInt().bar(0)

GInt.static_foo(GChar())
GInt.static_bar(0)