// RUN: %target-swift-frontend -emit-sil -primary-file %s -o /dev/null -verify | |
@_semantics("array.append_contentsOf") | |
public func funcA() { | |
funcB() // expected-warning {{'@_semantics' function calls non-'@_semantics' function with nested '@_semantics' calls}} | |
} | |
func getInt() -> Int { | |
return 3 | |
} | |
// Make sure funcB is not itself a trivial wrapper by calling getInt | |
// for funcC's argument. | |
func funcB() { | |
funcC(i: getInt()) | |
} | |
@_semantics("array.mutate_unknown") | |
func funcC(i: Int) {} |