// RUN: %target-run-simple-swift | %FileCheck %s

// REQUIRES: executable_test

// https://github.com/apple/swift/issues/53000

public class BaseView { }
public class GenericView<T>: BaseView { }
public class FinalView: GenericView<ContentForTheView> { }


public class ContentForTheView { }
extension ContentForTheView: InfoNeededByControllers { }

public protocol ConditionallyConformed { }
public protocol InfoNeededByControllers { }

extension GenericView: ConditionallyConformed where T: InfoNeededByControllers { }

open class BaseGenericController<T> where T: BaseView & ConditionallyConformed { }


open class FinalController: BaseGenericController<FinalView> { public override init() { } }

// CHECK: FinalController
print(FinalController())