blob: ea8fcbd38ee15d82a8918145051310227501f9c5 [file] [log] [blame]
// RUN: %target-typecheck-verify-swift
class C {}
class D {}
func f1(f : (inout Int) -> ()) {}
func f2(f : (inout Any) -> ()) {
f1 { f(&$0) } // expected-error{{inout argument could be set to a value with a type other than 'Int'; use a value declared as type 'Any' instead}}
}