dependent_generic_base_class_constraint.swift

// RUN: %target-swift-frontend -assume-parsing-unqualified-ownership-sil -emit-ir -verify %s
class GenericClass<T> { }

protocol MyProtocol { }

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