Swift inheritance hierarchy protocol conformance in generic context

main.swift

protocol Consumer {
  static func consume(_ instance: Self)
}

class Base: Consumer {
  class func consume(_ instance: Base) { print("Base.consume(_:)") }
}

class Derived: Base {
  class func consume(_ instance: Derived) { print("Derived.consume(_:)") }
}

class Generic <C: Consumer> {
  class func consume(_ instance: C) { C.consume(instance) }
}

Generic<Base>.consume(Base())
Generic<Base>.consume(Derived())

Generic<Derived>.consume(Derived())

output.txt

Base.consume(_:)
Base.consume(_:)
Base.consume(_:)