// RUN: %target-swift-frontend -emit-ir -verify %s
class GenericClass<T> { }

protocol MyProtocol { }

class MyClass {
  func myFunction<T, O: GenericClass<T>>(myArg: O) -> T where T: MyProtocol {
    fatalError()
  }
}