| // RUN: %target-typecheck-verify-swift | |
| func foo(_ msg: Int) {} // expected-note {{candidate expects value of type 'Int' for parameter #1}} | |
| func foo(_ msg: Double) {} // expected-note {{candidate expects value of type 'Double' for parameter #1}} | |
| func rdar38309176(_ errors: inout [String]) { | |
| foo("error: \(errors[0])") // expected-error {{no exact matches in call to global function 'foo'}} | |
| } |