Swift类型推断和类型检查问题

这是代码：

func isInt(param: AnyObject?) {
    if let value = param as? Int {
        print(value)
    } else {
        print("Not Int")
    }

    if let value = param {
        if value is Int {
            print(value)
        } else {
            print("Not Int")
        }
    }
}

let a:AnyObject? = 1.2
let b:Float? = 1.2
let c:Double? = 1.2

isInt(a)
isInt(b)
isInt(C)

我理解在第一个if循环中,param被转换为Int然后打印出来1.

但是为什么在第二个if循环中,如果值为Int是真的然后打印出1.2？