// RUN: %target-typecheck-verify-swift -disable-objc-interop


var x: Any = 1
var y = x as AnyObject