Pitch: Allow functions with default arguments to fulfill protocols

Can someone confirm whether or not function extensions with default parameters are true default implementations?

I yes I'd circle back to this thread.

protocol LoggerProtocol {
  default func log(String, file: String = #file, line: Int = #line) {
    ...
  }
}