// RUN: %target-typecheck-verify-swift

class Foo {
  init(lhs: @autoclosure () -> Int,
       rhs: @autoclosure () -> Undefined) {
     // expected-error@-1 {{use of undeclared type 'Undefined'}}
  }
}

func foo() -> Foo {
  return Foo(lhs: 2, rhs: 2)
  // expected-error@-1 {{cannot convert value of type 'Int' to expected argument type '<<error type>>'}}
}