import Foundation

// Lets create base class and two classes that inherits base class.
class Base {}
class A: Base {}
class B: Base {}

// Lets create class with generic function with `where` clauses
class Printer {
    func printAll<T>(classes: [T.Type]) where T: Base {
        for c in classes {
            print(String(describing: c))
        }
    }
}

// Lets create the instance
let printer = Printer()

// Compiles
printer.printAll(classes: [A.self, B.self])

// Lets create weak variable
weak var weakPrinter: Printer! = printer

// Compiles
weakPrinter.printAll(classes: [A.self])

// Does not compile with error:
// "cannot convert value of type '[Base.Type]' to expected argument type '[_.Type]'"
weakPrinter.printAll(classes: [A.self, B.self])