@inlinable
public func callsHasDefaultArgument() {
  hasDefaultArgument()
}