// RUN: %target-swift-emit-silgen-ossa -o /dev/null -enable-sil-opaque-values %s
// RUN: %empty-directory(%t)
// RUN: %target-swift-emit-silgen %s > %t/out.sil
// RUN: %target-swift-emit-silgen %t/out.sil | %FileCheck %s
class X<A> {}
struct Foo<T> {
  // CHECK-LABEL: sil hidden [ossa] @{{.*}}Foo{{.*}}bar{{.*}} : $@convention(method) <T><U where T == X<U>>
  func bar<U>(_: U) where T == X<U> {}

  // CHECK-LABEL: sil hidden [ossa] @{{.*}}Foo{{.*}}bar{{.*}} : $@convention(method) <T><U where T : X<U>>
  func bar<U>(_: U) where T: X<U> {}
}
