default-args.swift

// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -emit-module -o %t/Test~partial.swiftmodule -module-name Test -primary-file %s
// RUN: %target-swift-frontend -merge-modules -emit-module -o %t/Test.swiftmodule %t/Test~partial.swiftmodule
// RUN: %target-swift-ide-test -print-module -module-to-print=Test -source-filename=x -I %t -prefer-type-repr=false -fully-qualified-types=true | %FileCheck %s

// RUN: %target-swift-frontend -typecheck -emit-module-interface-path %t/Test.swiftinterface -module-name Test -enable-library-evolution %s
// RUN: rm %t/Test.swiftmodule
// RUN: echo "import Test" > %t/test-client.swift
// RUN: %target-swift-frontend -typecheck -I%t %t/test-client.swift
// RUN: %FileCheck %s < %t/Test.swiftinterface

// CHECK: class Base {
publicclassBase{
 // CHECK: init(x: Swift.Int = 3)
publicinit(x:Int=3){}
publicconvenienceinit(convInit:Int){
self.init(x: convInit)
}
 // CHECK: foo(y: Swift.Int = 42)
publicfunc foo(y:Int=42){}
}

// CHECK: class Derived : Test.Base {
publicclassDerived:Base{
 // CHECK: init(y: Swift.Int)
publicconvenienceinit(y:Int){
self.init()
}

 // CHECK-NOT: init(convInit: Swift.Int = super)
 // CHECK: override {{(public )?}}init(x: Swift.Int = super)
 // CHECK-NOT: init(convInit: Swift.Int = super)
}

publicenumEnum{
 // CHECK: case pie(filling: Swift.String = "apple")
case pie(filling:String="apple")
}

publicstructHasSubscript{
 // CHECK: subscript(x: Swift.Int = 0) -> Swift.Int {
public subscript(x:Int=0)->Int{return0}
}

// CHECK: func hasClosureDefaultArg(_ x: () -> Swift.Void = {
// CHECK-NEXT: })
publicfunc hasClosureDefaultArg(_ x:()->Void={
}){
}

// CHECK: func hasMagicDefaultArgs(_ f: Swift.String = #file, _ fu: Swift.String = #function, _ l: Swift.Int = #line)
publicfunc hasMagicDefaultArgs(_ f:String= #file, _ fu:String= #function, _ l:Int= #line){}

// CHECK: func hasSimpleDefaultArgs(_ x: Swift.Int = 0, b: Swift.Int = 1)
publicfunc hasSimpleDefaultArgs(_ x:Int=0, b:Int=1){
}

// rdar://83202870
// https://github.com/apple/swift/issues/57504
// Make sure we can extract the textual representation here.
// CHECK: func hasTupleConstructionDefaultArgs(_ x: Any = (), y: (Swift.String, Swift.Int) = ("", 0))
publicfunc hasTupleConstructionDefaultArgs(_ x:Any=Void(), y:(String,Int)=(String, Int)("",0)){}